The following publications are possibly variants of this publication:
- Towards Abstraction for DynAlloy SpecificationsNazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis. icfem 2008: 207-225 [doi]
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviourGermán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias. FSE 2017: 969-973 [doi]
- DynAlloy as a Formal Method for the Analysis of Java ProgramsJuan P. Galeotti, Marcelo F. Frias. ifip2 2007: 249-260 [doi]