Export 1 results:
Filters: Author is Dominique Méry Dimitra Giannakopoulou and Keyword is Conference [Clear All Filters]
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.