Marc V. Benveniste 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 keys1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer: CASTING: A Formally Based Software Test Generation Method. ICFEM 1997: 101-
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc V. Benveniste: Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) 1991: 164-188
1988
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc V. Benveniste: LPC: A Concurrent Programming Laboratory. STACS 1988: 391-392

Coauthor Index

1Lionel Van Aertryck [3]
2Daniel Le Métayer [3]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)