Bibtex de la publication

@InProceedings{ DiPa2011.1,
author = {Dieumegard, Arnaud and Pantel, Marc},
title = "{Vérification d'un générateur de code par génération d'annotations (regular paper)}",
booktitle = "{Formalisation des Activités Concurrentes (FAC), Toulouse, France, 06/04/2011-07/04/2011}",
year = {2011},
month = {avril},
publisher = {LAAS},
address = {http://www.laas.fr},
pages = {(en ligne)},
language = {français},
URL = {http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/GeneCode.pdf},
note = {}
}