Navegar

Colección

Datos Estadísticas

Lista de

Galeotti, Juan Pablo
12
IEEE Transactions on Software Engineering
1
"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306