Bibtex de la publication

@InProceedings{ BoFiMu2000.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Munoz, Cesar},
title = "{Formalisation de la m├ęthode B en Coq et PVS}",
booktitle = "{AFADL, Grenoble, 26/01/2000-28/01/2000}",
year = {2000},
month = {janvier},
publisher = {LSR/IMAG},
pages = {96--110},
URL = {http://www-lsr.imag.fr/afadl},
note = {}
}