Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
|
|
Multi-prover verification of floating-point programsFifth International Joint Conference on Automated Reasoning, Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
inria-00534333v1
|