共 2 条
[2]
SeL4: Formal verification of an OS kernel .2 GERWIN K,KEVIN E,GERNOT H,JUNE A. Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP) . 2009