Virtual Machines: by Iain D. Craig
by Iain D. Craig
Object-oriented Programming Languages: Interpretation: by Iain D. Craig
by Iain D. Craig
Programming in Dylan: by Iain D. Craig
by Iain D. Craig
Formal Models of Operating System Kernels: by Iain D. Craig
by Iain D. Craig
Formal Refinement for Operating System Kernels: by Iain D. Craig
by Iain D. Craig