Skip to content

Abstract Interpretation: A Theory of Approximate Computation.

Kim Marriott

VenueBSAS
Year1997
ProceedingsSAS

Browse the full SAS paper archive.