Data-flow analysis is model checking of abstract interpretations (1998)

by D Schmidt
Venue:In Princ. of Prog. Lang