APA (7th ed.) Citation

Craig, I. D. (2007). Formal models of operating system kernels. Springer. https://doi.org/10.1007/978-1-84628-718-3

Chicago Style (17th ed.) Citation

Craig, Iain D. Formal Models of Operating System Kernels. London: Springer, 2007. https://doi.org/10.1007/978-1-84628-718-3.

MLA (9th ed.) Citation

Craig, Iain D. Formal Models of Operating System Kernels. Springer, 2007. https://doi.org/10.1007/978-1-84628-718-3.