Exact flow analysis (1997)

by Christian Mossin
Venue:In SAS ’97: Proceedings of the 4th International Symposium on Static Analysis