Ioana Pasca

	2009
2		Nicolas Julien, Ioana Pasca: Formal Verification of Exact Computations Using Newton's Method. TPHOLs 2009: 408-423
	2008
1		Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101

Coauthor Index

1	Yves Bertot	[1]
2	Sidi Ould Biha	[1]
3	Georges Gonthier	[1]
4	Nicolas Julien	[2]

Colors in the list of coauthors