Searching for "Efficient Analysis of DynAlloy Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Universidad de Buenos Aires and
by Marcelo F. Frias, Carlos G. Lopez Pombo, Juan P. Galeotti, Nazareno M. Aguirre, Río Cuarto
…Efficient Analysis of DynAlloy Specifications MARCELO F. FRIAS, CARLOS G. LOPEZ POMBO, and JUAN P…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB