Exact flow analysis (1997)

by C Mossin
Venue:In Proceedings of the 4th International Symposium on Static Analysis