@dblp

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

, and . International Conference on Computational Science (4), volume 3994 of Lecture Notes in Computer Science, page 765-772. Springer, (2006)

Links and resources

Tags