Jean-Marc Meynadier Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier: Météor: A Successful Application of B in a Large Project. World Congress on Formal Methods 1999: 369-387
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Behm, Pierre Desforges, Jean-Marc Meynadier: MÉTÉOR : An Industrial Success in Formal Development. B 1998: 26
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Behm, Lilian Burdy, Jean-Marc Meynadier: Well Defined B. B 1998: 29-45

Coauthor Index

1Patrick Behm [1] [2] [3]
2Paul Benoit [3]
3Lilian Burdy [1]
4Pierre Desforges [2]
5Alain Faivre [3]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Dec 7 15:48:47 2009 by Michael Ley (ley@uni-trier.de)