DynAlloy: upgrading alloy with actions.

Marcelo F. Frias, Juan P. Galeotti, Carlos Lpez Pombo, Nazareno Aguirre

Browse the full ICSE paper archive.