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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.