Towards an Effective Formally Certified Constraint Solver
- Authors
- C. Dubois and A. Gotlieb
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2014
- Journal
- Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France
- Publisher
- .
- Citation key
- 8883