Abstract interpretation (1995)

by N D Jones, F Nielson
Venue:Semantic Modelling