Formal Models of Operating System Kernels

MLA

Craig, I. Formal Models of Operating System Kernels. Springer London, 2007.

APA

Craig, I. (2007). Formal Models of Operating System Kernels. Springer London.

Chicago

Craig, I. Formal Models of Operating System Kernels. : Springer London, 2007.