Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.
VenueMulticonferenceICCS
Year2006
ProceedingsInternational Conference on Computational Science (4)
DBLP recordconf/iccS/BreuerP06 ↗
Browse the full ICCS paper archive.