On the correctness of operating system kernels (2005)

by M Gargano, M Hillebrand, D Leinenbach, W Paul
Venue:In TPHOLs