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

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

1 Lionel Van Aertryck [3]

2 Daniel Le Métayer [3]