Publications de
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Formalisation de la méthode B en Coq et PVS
Dans : Technique et Science Informatiques, HERMES, PARIS, Vol. 20, N. 7, p. 901-926, juillet 2001.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Formalisation de la méthode B en Coq et PVS
Dans : AFADL, Grenoble, 26/01/00-28/01/00, LSR/IMAG, p. 96-110, janvier 2000.
Accès : http://www-lsr.imag.fr/afadl
BibTeXJean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Mécanisation de la méthode B en Coq et PVS
Dans : Journées BUG-SEE, LILLE, 29/11/99-30/11/99.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
A Formalization of the B method in Coq and PVS
Dans : FM’99 — B Users Group Meeting — Applying B in an industrial context : Tools, Lessons and Techniques, Toulouse, Springer-Verlag, p. 32-48, septembre 1999.