Closed-form upper bounds in static cost analysis
- Albert, E.
- Arenas, P.
- Genaim, S.
- Puebla, G.
ISSN: 0168-7433, 1573-0670
Año de publicación: 2011
Volumen: 46
Número: 2
Páginas: 161-203
Tipo: Artículo
Revista:
Journal of Automated Reasoning