Correct OS Kernel? Proof? Done!

Gerwin Klein. Correct OS Kernel? Proof? Done!. ;login:, 34(6), 2009. [doi]

Abstract

Abstract is missing.