Zaynah Dargaye Vis

*	2007
2	EE	Zaynah Dargaye, Xavier Leroy: Mechanized Verification of CPS Transformations. LPAR 2007: 211-225
	2006
1	EE	Sandrine Blazy, Zaynah Dargaye, Xavier Leroy: Formal Verification of a C Compiler Front-End. FM 2006: 460-475

Coauthor Index

1	Sandrine Blazy	[1]
2	Xavier Leroy	[1] [2]