Navegar

Colección

Datos Estadísticas

Lista de

2013
1363
Science of Computer Programming
1
"Summary-based inference of quantitative bounds of live heap objects" (2013) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming