Closed-form upper bounds in static cost analysis

  1. Albert, E.
  2. Arenas, P.
  3. Genaim, S.
  4. Puebla, G.
Zeitschrift:
Journal of Automated Reasoning

ISSN: 0168-7433,  1573-0670

Datum der Publikation: 2011

Ausgabe: 46

Nummer: 2

Seiten: 161-203

Art: Artikel

DOI: 10.1007/S10817-010-9174-1 GOOGLE SCHOLAR
Datenquelle: Scopus