Formal Refinement for Operating System Kernels

MLA

Craig, I, and Iain D Craig. Formal Refinement for Operating System Kernels. Springer London, 2007.

APA

Craig, I., & Craig, I. D. (2007). Formal Refinement for Operating System Kernels. Springer London.

Chicago

Craig, I., and Iain D Craig. Formal Refinement for Operating System Kernels. : Springer London, 2007.