Formal Models of Operating System Kernels المزيد من كتب Iain D. Craig

Object-Oriented Programming Languages: Interpretation

Virtual Machines

Formal Refinement for Operating System Kernels