Researchers

Maxime Dénès
Inria Sophia Antipolis - Méditerranée
Presentation
Contact:
rf.airni@seneD.emixaM
+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
https://hal.inria.fr/hal-01113453/file/refinements.pdf BibTex