Formal Models of Operating System Kernels Iain D. Craig의 도서 더 보기

Object-Oriented Programming Languages: Interpretation

Virtual Machines

Formal Refinement for Operating System Kernels