Advanced Development of Certified OS Kernels (2010)

by Zhong Shao , Bryan Ford