Export 1 results:
Filters: Author is Catherine Dubois and Keyword is Workshop  [Clear All Filters]
2014
C. Dubois and A. Gotlieb. Towards an Effective Formally Certified Constraint Solver In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: ., 2014.