@inproceedings{Alkassar_VSTTE08-225,
AUTHOR = {Alkassar, Eyad and Hillebrand, Mark A.},
TITLE = {Formal Functional Verification of Device Drivers},
VOLUME = {5295},
YEAR = {2008},
PAGES = {225--239},
SERIES = {LNCS},
BOOKTITLE = {2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08)},
PUBLISHER = {Springer},
EDITOR = {Natarajan Shankar and Jim Woodcock},
EE = {http://dx.doi.org/10.1007/978-3-540-87873-5_19},
}