Flow analysis for verifying properties of concurrent software systems
Publication Date
2004
Journal or Book Title
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Pages
359-430
Volume
13
Issue
4
Recommended Citation
Dwyer, MB; Clarke, LA; Cobleigh, JM; and Naumovich, G, "Flow analysis for verifying properties of concurrent software systems" (2004). ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 438.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/438
COinS