Craig, I. D. (2007). Formal models of operating system kernels. Springer.
Chicago Style (17th ed.) CitationCraig, Iain D. Formal Models of Operating System Kernels. London: Springer, 2007.
MLA (9th ed.) CitationCraig, Iain D. Formal Models of Operating System Kernels. Springer, 2007.
Warning: These citations may not always be 100% accurate.