Efficient Analysis of DynAlloy Specifications

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]

Possibly Related Publications

The following publications are possibly variants of this publication: