Locking discipline inference and checking
Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine[doi] [Google Scholar] [DBLP] [Citeseer]
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE)
IEEE
Pages 1133-1144
2016
Topic(s): tools verification
IEEE
Pages 1133-1144
2016
Topic(s): tools verification