Navegar

Colección

Datos Estadísticas

Lista de

Galeotti, Juan Pablo
12
2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
1
"ParAlloy: Towards a framework for efficient parallel analysis of alloy models" (2010) Rosner, N.; Galeotti, J.P.; Lopez Pombo, C.G.; Frias, M.F. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:396-397