[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - Data flow analysis for verifying properties of concurrent programs
Dwyer, Matthew B., Clarke, Lori A.Year:
1994
Language:
english
DOI:
10.1145/193173.195295
File:
PDF, 1.35 MB
english, 1994