Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Thorough Static Analysis of Device Drivers

Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, and Abdullah Ustuner

Details

Publication typeInproceedings
Published inEuroSys 2006
> Publications > Thorough Static Analysis of Device Drivers