Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
Science of Computer Programming
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