Closed-form upper bounds in static cost analysis
- Albert, E.
- Arenas, P.
- Genaim, S.
- Puebla, G.
ISSN: 0168-7433, 1573-0670
Année de publication: 2011
Volumen: 46
Número: 2
Pages: 161-203
Type: Article
Revue:
Journal of Automated Reasoning