Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
Software and Systems Modeling
1
"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63