Context constraints for compositional reachability analysis
Cheung, Shing Chi, Kramer, JeffVolume:
5
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/235321.235323
Date:
October, 1996
File:
PDF, 620 KB
english, 1996