Enhancing compositional reachability analysis using context constraints (1993)

by S C Cheung, J Kramer
Venue:In Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering