Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013
1
"Parallel bounded verification of alloy models by tranScoping" (2014) Rosner, N.;Pombo, C.G.L.;Aguirre, N. (...)Cohen E. 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013. 8164:88-107