@article{GP09,
title = {Convincing Proofs for Program Certification },
author = {Garnacho, Manuel and P'erin, Micha\"el},
year = {2009},
journal = {Electronic Notes in Theoretical Computer Science},
number = {4},
pages = {41-56},
volume = {238},
team = {DCS,PACSS},
ee = {http://dx.doi.org/10.1016/j.entcs.2009.09.005},
}
