Bibtex de la publication

@Article{ BoFiMu2001.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Munoz, Cesar},
title = "{Formalisation de la méthode B en Coq et PVS}",
journal = {Technique et Science Informatiques},
publisher = {HERMES},
address = {PARIS},
year = {2001},
month = {juillet},
volume = {20},
number = {7},
pages = {901--926},
keywords = {raffinement preuve méthode formelle B Coq PVS}
}