Efficient Analysis of DynAlloy Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcelo F. Frias' in GoogleThis author has not been identified. Look up 'Carlos López Pombo' in GoogleThis author has not been identified. Look up 'Juan P. Galeotti' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in Google

runs on WebDSL