Navegar

Colección

Datos Estadísticas

Lista de

2010
1145
2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010
2
"Alloy+HotCore: A fast approximation to unsat core" (2010) D'Ippolito, N.;Frias, M.F.;Galeotti, J.P. (...)Mera, S. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:160-173
"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