Skip to content

Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.

Peter T. Breuer, Simon Pickin

Year2006
ProceedingsInternational Conference on Computational Science (4)

Browse the full ICCS paper archive.