Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre. Efficient Analysis of DynAlloy Specifications. ACM Transactions on Software Engineering Methodology, 17(1), 2007. [doi]
@article{FriasPGA07,
title = {Efficient Analysis of DynAlloy Specifications},
author = {Marcelo F. Frias and Carlos López Pombo and Juan P. Galeotti and Nazareno Aguirre},
year = {2007},
doi = {10.1145/1314493.1314497},
url = {http://doi.acm.org/10.1145/1314493.1314497},
tags = {analysis},
researchr = {https://researchr.org/publication/FriasPGA07},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {17},
number = {1},
}