logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

Garbervetsky, Diego
30
2014
6
"The DynAlloy visualizer" (2014) Bendersky, P.;Galeotti, J.P.;Garbervetsky, D. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:59-64
"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
"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84
"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15
"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience. 44(3):259-260
"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience