Marielle Doche

	2002
3		Marielle Doche, Andrew M. Gravell: Extraction of Abstraction Invariants for Data Refinement. ZB 2002: 120-139
	2001
2		Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon: A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610
	2000
1		Marielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528

Coauthor Index

1	Andrew M. Gravell	[3]
2	Fabrice Kordon	[2]
3	Isabelle Vernier-Mounier	[2]
4	Virginie Wiels	[1]

Colors in the list of coauthors