Researchers

Avatar- profil Picture
Maxime Dénès
Inria Sophia Antipolis - Méditerranée
Presentation
Contact:
+33 4 92 38 75 65
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
http://hal.inria.fr/hal-01113453/file/refinements.pdf BibTex