DMCA

Data flow analysis for verifying properties of concurrent programs (1994)

by Matthew B. Dwyer , Lori A. Clarke , Gleb Naumovich , Jamieson M. Cobleigh
Venue:In Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering
Citations:173 - 60 self