Bibtex de la publication

@InProceedings{ DiPa2012.1,
author = {Dieumegard, Arnaud and Pantel, Marc},
title = "{Vérification d’un générateur de code par génération d’annotations (short paper)}",
booktitle = "{Conférence en Ingénierie du Logiciel (CIEL), Rennes, France, 19/06/2012-21/06/2012}",
year = {2012},
publisher = {IRISA},
address = {http://www.irisa.fr/},
pages = {(en ligne)},
language = {français},
URL = {http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Dieumegard-paper34.pdf},
note = {}
}