Yann Rouzaud

	1999
3		Yann Rouzaud: Interpreting the B-Method in the Refinement Calculus. World Congress on Formal Methods 1999: 411-430
	1998
2		Marie-Laure Potet, Yann Rouzaud: Composition and Refinement in the B-Method. B 1998: 46-65
	1992
1		Yann Rouzaud, Lan Nguyen-Phuong: Integrating Modes and Subtypes into a Prolog Type-Checker. JICSLP 1992: 85-97

Coauthor Index

1	Lan Nguyen-Phuong	[1]
2	Marie-Laure Potet	[2]

Colors in the list of coauthors