Craig, I. D. (2007). Formal Refinement for Operating System Kernels (1st ed. 2007.). London: Springer London.
Chicago Style CitationCraig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. London: Springer London, 2007.
MLA CitationCraig, Iain D. Formal Refinement for Operating System Kernels. 1st ed. 2007. London: Springer London, 2007.
Warning: These citations may not always be 100% accurate.