CAV
2007
Springer
14 years 9 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...