Underapproximating predicate transformers (2006)

by D A Schmidt
Venue:In Proceedings of SAS’06, 13th International Static Analysis Symposium