Data flow analysis for verifying properties of concurrent programs
Dwyer, Matthew B., Clarke, Lori A.Volume:
19
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/195274.195295
Date:
December, 1994
File:
PDF, 1.35 MB
english, 1994