Marc V. Benveniste

Publication Activity (10 Years)

Years Active: 1988-2011
Publications (10 Years): 0

Publications

Marc V. Benveniste
On Using B in the Design of Secure Micro-controllers: An Experience Report. Electron. Notes Theor. Comput. Sci. 280 (2011)
Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer
CASTING: A Formally Based Software Test Generation Method. ICFEM (1997)
Marc V. Benveniste
Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) (1991)
Marc V. Benveniste
LPC: A Concurrent Programming Laboratory. STACS (1988)