Guido de Caso

	2009
2		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
	2006
1		Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero: A toolsuite for the verification of real-time systems in Eclipse. ETX 2006: 35-39

Coauthor Index

1	Víctor A. Braberman	[1] [2]
2	Lucía Cavatorta	[1]
3	Andrés Ferrari	[1]
4	Diego Garbervetsky	[1] [2]
5	Nicolas Kicillof	[1]
6	Alfredo Olivero	[1]
7	Fernando Schapachnik	[1]
8	Sebastián Uchitel	[2]