Abstract Interpretation: a Semantics-Based Tool Non-determinism Analyses 33 for Program Analysis (1995)

by N D Jones, F Nielson
Venue:Handbook of Logic in Computer Science