[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 8166 || Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs
Gorbenko, Anatoliy, Romanovsky, Alexander, Kharchenko, VyacheslavVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-642-40894-6_14
File:
PDF, 610 KB
english, 2013