Closed-form upper bounds in static cost analysis

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

ISSN: 0168-7433,  1573-0670

Argitalpen urtea: 2011

Alea: 46

Zenbakia: 2

Orrialdeak: 161-203

Mota: Artikulua

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