Publications at the Joint Centre:
2013
Conference papers
- titre
- Refinements for Free!
- auteur
- Cyril Cohen, Maxime Dénès, Anders Mörtberg
- article
- Certified Programs and Proofs, Dec 2013, Melbourne, Australia. pp.147 - 162, 2013, <10.1007/978-3-319-03545-1_10>
- Accès au texte intégral et bibtex
-