Sciweavers

ICSE
2005
IEEE-ACM

DynAlloy: upgrading alloy with actions

15 years 16 days ago
DynAlloy: upgrading alloy with actions
Carlos López Pombo, Juan P. Galeotti, Marce
Added 09 Dec 2009
Updated 09 Dec 2009
Type Conference
Year 2005
Where ICSE
Authors Carlos López Pombo, Juan P. Galeotti, Marcelo F. Frias, Nazareno Aguirre
Comments (0)