Flow analysis for verifying properties of concurrent software systems,” (2004)

by M B Dwyer, L A Clarke, J M Cobleigh, G Naumovich
Venue:ACM Trans. on Softw. Eng. Method.,