Exact flow analysis (1997)

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