Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
ACM Transactions on Software Engineering and Methodology
1
"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)