@article{DBLP:journals/sigops/AmaniCDLORZ14,
author = {Sidney Amani and
Peter Chubb and
Alastair F. Donaldson and
Alexander Legg and
Keng Chai Ong and
Leonid Ryzhyk and
Yanjin Zhu},
title = {Automatic verification of active device drivers},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {48},
number = {1},
pages = {106-118},
year = {2014},
doi = {10.1145/2626401.2626424},
}