Mariano M. Moscato

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2EENazareno 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
1EEMarcelo 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)