Cost Analysis using Automatic Size and Time Inference

Research output: Book/Report › Book

Handle.net

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 - https://www.scopus.com/pages/publications/35248894843

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 -