Marc V. Benveniste Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - 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 EE Marc V. Benveniste: Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) 1991: 164-188

1988

1 EE 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	EE	Marc V. Benveniste: Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) 1991: 164-188
	1988
1	EE	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]