Export 2 results:
Filters: Author is Catherine Dubois 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.
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic, Edited by J. J. A. Brucker. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.