Bibtex de la publication

@Article{ IzPaThSs2011.1,
author = {Izerrouken, Nassima and Pantel, Marc and Thirioux, Xavier and Ssi Yan Kai, Olivier},
title = "{Expérimentations en Coq pour un générateur de code qualifiable}",
journal = {Revue des Sciences et Technologies de l'Information, Technique et Science Informatiques, Méthodes formelles à l'analyse et la compilation},
publisher = {Hermès Science },
address = {http://www.editions-hermes.fr/},
year = {2011},
month = {avril},
volume = {30},
number = {4/2011},
pages = {409--440},
language = {français}
}