Navegar

Colección

Datos Estadísticas

Lista de

Science of Computer Programming
3
2014
1
"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