SeL4: Formal verification of an operating-system kernel
Citation
Klein, G, Andronick, J, Elphinstone, K et al 2010, 'SeL4: Formal verification of an operating-system kernel', Communications of the Association for Computing Machinery, vol. 53, no. 6, pp. 107-115.Year
2010ANU Authors
Field of Research
- Artificial Intelligence And Image Processing Not Elsewhere Classified