"Integrated Static Analysis for Linux Device Driver Verification."

Hendrik Post, Wolfgang Küchlin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics