dblp.uni-trier.dewww.uni-trier.de

Marc V. Benveniste

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
3 Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer: CASTING: A Formally Based Software Test Generation Method. ICFEM 1997: 101-
1991
2 Marc V. Benveniste: Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) 1991: 164-188
1988
1 Marc V. Benveniste: LPC: A Concurrent Programming Laboratory. STACS 1988: 391-392

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)