DMCA

DynAlloy: Upgrading Alloy with Actions (Extended Abstract) (2005)

Cached

Download Links

by Marcelo F. Frias , Juan P. Galeotti , Carlos G. López Pombo , Nazareno M. Aguirre