- 1
Guillaume Melquiond
1
Documents
Publications
- 1
- 1
- 1
- 1
|
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers10th International Workshop on Satisfiability Modulo Theories, Jun 2012, Manchester, United Kingdom. pp.12-21
Communication dans un congrès
hal-01785166v1
|