Checking safety properties using compositional reachability analysis
Cheung, Shing Chi, Kramer, JeffVolume:
8
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/295558.295570
Date:
January, 1999
File:
PDF, 415 KB
english, 1999