Flow analysis for verifying properties of concurrent software systems
Dwyer, Matthew B., Clarke, Lori A., Cobleigh, Jamieson M., Naumovich, GlebVolume:
13
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/1040291.1040292
Date:
October, 2004
File:
PDF, 1.08 MB
english, 2004