authors
- Maibaum, Thomas
- Aguirre, Nazareno
- Frias, Marcelo F
- Ponzio, Pablo
- Cardiff, Brian J
- Galeotti, Juan P
- Regis, Germán
Towards Abstraction for DynAlloy Specifications.
Conferences
- Overview
- Identity
- Additional Document Info
- View All