Mireille Larnac

	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

Coauthor Index

1	Vincent Chapurlat	[1] [2] [3]
2	Benjamin Chenot	[2]
3	Gérard Dray	[1]
4	Janine Magnier	[1] [2] [3]
5	Eric Vandermeulen	[1]