Export 1 results:
Search results for biblio_year:2002
Filters: 1 is biblio_year:1984 and 2 is biblio_year:2013 and 3 is field_research_area:6 and 4 is field_publication_owner:simula and Author is Dominique Méry Dimitra Giannakopoulou  [Reset Search]
C. Dubois and A. Gotlieb. A Certified Constraint Solver Over Finite Domains In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012, Edited by D. M. D. Giannakopoulou. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.