seL4
Klein, Gerwin; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal
- 期刊名称Communications of the ACM
- 作者Klein, Gerwin; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal
- 卷第53卷
- 期第6期
- 印刷ISSN0001-0782
- 文件大小1070.36KB
- 发表时间2010-06-01
- DOI10.1145/1743546.1743574