Marc V. Benveniste
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1988–1997
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICFEM | CASTING: A Formally Based Software Test Generation Method. | Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Mtayer |
| 1991 | FM | Writing Operational Semantics in Z: A Sructural Approach. | Marc V. Benveniste |
| 1988 | STACS | LPC: A Concurrent Programming Laboratory. | Marc V. Benveniste |