A Certified Constraint Solver Over Finite Domains
- Authors
- C. Dubois and A. Gotlieb
- Editors
- D. M. D. Giannakopoulou
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2012
- Journal
- Proceedings of Formal Methods (FM'12), Paris, Aug. 2012
- Publisher
- Springer Berlin Heidelberg
- Citation key
- 8767