| 1999 |
|---|
| 3 | | Mireille Larnac,
Janine Magnier,
Vincent Chapurlat:
Simplification of Proof Procedures Based on the Path Condition Concepts.
EUROCAST 1999: 116-126 |
| 1997 |
|---|
| 2 | | Mireille Larnac,
Vincent Chapurlat,
Janine Magnier,
Benjamin Chenot:
Formal Representation and Proof of the Interpreted Sequential Machine Model.
EUROCAST 1997: 95-107 |
| 1995 |
|---|
| 1 | | Mireille Larnac,
Janine Magnier,
Eric Vandermeulen,
Gérard Dray,
Vincent Chapurlat:
Temporal and Functional Verification of a Symbolic Representation of Complex Systems.
EUROCAST 1995: 151-162 |
