Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis

Browse the full ICFEM paper archive.