DMCA

Integration of static analysis for linux device driver verification (2007)

by Hendrik Post , Wolfgang Küchlin
Venue:6TH INTL. CONF. ON INTEGRATED FORMAL METHODS (IFM) (2007)
Citations:18 - 7 self