| 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 | |
| 1 | Lionel Van Aertryck | [3] |
| 2 | Daniel Le Métayer | [3] |