Cristina Cornes

	1999
2		Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93
	1995
1		Cristina Cornes, Delphine Terrasse: Automating Inversion of Inductive Predicates in Coq. TYPES 1995: 85-104

Coauthor Index

1	Gustavo Betarte	[2]
2	Nora Szasz	[2]
3	Alvaro Tasistro	[2]
4	Delphine Terrasse	[1]

Colors in the list of coauthors