Closed-form upper bounds in static cost analysis
- Albert, E.
- Arenas, P.
- Genaim, S.
- Puebla, G.
ISSN: 0168-7433, 1573-0670
Ano de publicación: 2011
Volume: 46
Número: 2
Páxinas: 161-203
Tipo: Artigo
Revista:
Journal of Automated Reasoning