Navegar

Colección

Datos Estadísticas

Lista de

22nd International Symposium on Software Testing and Analysis, ISSTA 2013
1
2013
1
"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33