Thorough static analysis of device drivers. (2006)

by T BALL, E BOUNIMOVA, B COOK, V LEVIN, J LICHTENBERG, C MCGARVEY, B ONDRUSEK, S K RAJAMANI, A USTUNER
Venue:In 1st EuroSys Conf.