| |
| 2008 | ||
|---|---|---|
| 2 | EE | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis: Towards Abstraction for DynAlloy Specifications. ICFEM 2008: 207-225 |
| 2007 | ||
| 1 | EE | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20 |
| 1 | Nazareno Aguirre | [1] [2] |
| 2 | Brian J. Cardiff | [2] |
| 3 | Marcelo F. Frias | [2] |
| 4 | Juan P. Galeotti | [2] |
| 5 | T. S. E. Maibaum (Thomas Stephen Edward Maibaum) | [1] |
| 6 | Pablo Ponzio | [2] |