Linux driver verification (2012)

by D Beyer, A K Petrenko
Venue:In Proc. ISoLA, LNCS 7610