Marc V. Benveniste

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2011

4 Marc V. Benveniste: On Using B in the Design of Secure Micro-controllers: An Experience Report. Electr. Notes Theor. Comput. Sci. 280: 3-22 (2011)

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

	2011
4		Marc V. Benveniste: On Using B in the Design of Secure Micro-controllers: An Experience Report. Electr. Notes Theor. Comput. Sci. 280: 3-22 (2011)
	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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page