APA Citation

Craig, I. D. (2007). Formal Refinement for Operating System Kernels (1st ed. 2007.). London: Springer London.

Chicago Style Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. London: Springer London, 2007.

MLA Citation

Craig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. London: Springer London, 2007.

Warning: These citations may not always be 100% accurate.