Navegar

Colección

Datos Estadísticas

Lista de

9th International Conference on Software Engineering and Formal Methods, SEFM 2011
1
2011
1
"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154