Thorough Static Analysis of Device Drivers

DMCA

Thorough Static Analysis of Device Drivers (2006)

Cached

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

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

Citations:

181 - 21 self

BibTeX

@MISC{Ball06thoroughstatic,
    author = {Thomas Ball and Ella Bounimova and Byron Cook and Vladimir Levin and Jakob Lichtenberg and Con McGarvey and Bohus Ondrusek and Sriram K. Rajamani and Abdullah Ustuner},
    title = {Thorough Static Analysis of Device Drivers},
    year = {2006}
}