APA (7th ed.) Citation

(2007). Formal refinement for operating system kernels / Iain D. Craig.

Chicago Style (17th ed.) Citation

Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.

MLA (9th ed.) Citation

Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.

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