(2007). Formal refinement for operating system kernels / Iain D. Craig.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.
MLA -ийн эшлэл (9 дэх хэвлэлт)Formal Refinement for Operating System Kernels / Iain D. Craig. 2007.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.