"Formal Functional Verification of Device Drivers."

Eyad Alkassar, Mark A. Hillebrand (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics