Navegar

Colección

Datos Estadísticas

Lista de

2010
1145
19th International Symposium on Software Testing and Analysis, ISSTA 2010
1
"Analysis of invariants for efficient bounded verification" (2010) Galeotti, J.P.; Rosner, N.; Pombo, C.G.L.; Frias, M.F. 19th International Symposium on Software Testing and Analysis, ISSTA 2010:25-35