Marianne Simonot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1992–2012
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CSEDU | Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. | Marianne Simonot, M. Homps, Philippe Bonnot |
| 1992 | LPAR | ProPre A Programming Language with Proofs. | Pascal Manoury, Michel Parigot, Marianne Simonot |