Sciweavers

ICSE
2005
IEEE-ACM

DynAlloy: upgrading alloy with actions

14 years 11 months 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)