Mariano M. Moscato

2009
2	EE	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
2007
1	EE	Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. TACAS 2007: 587-601

Coauthor Index

1	Nazareno Aguirre	[2]
2	Marcelo F. Frias	[1] [2]
3	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[2]
4	Carlos López Pombo	[1]
5	Alan Wassyng	[2]