Computing Publications

Publications Home » Measuring the precision of abstra...

Measuring the precision of abstract interpretations

Alessandra Di Pierro, Herbert Wiklicky

Conference or Workshop Paper
10th international workshop on logic based program synthesis and transformation, London, England
Volume 2042
Springer Verlag
ISBN 3-5404-2127-0
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.