Cost Analysis using Automatic Size and Time Inference

AJR Portillo, Kevin Hammond, H-W Loidl, P Vasconcelos

Research output: Book/Report › Book

Cite this

TY - BOOK

T1 - Cost Analysis using Automatic Size and Time Inference

AU - Portillo, AJR

AU - Hammond, Kevin

AU - Loidl, H-W

AU - Vasconcelos, P

PY - 2003

Y1 - 2003

UR - http://www.scopus.com/inward/record.url?scp=35248894843&partnerID=8YFLogxK

UR - http://www.dcs.st-and.ac.uk/research/publications/RHL+03.php

M3 - Book

BT - Cost Analysis using Automatic Size and Time Inference

PB - Springer-Verlag

ER -