Formal Models of Operating System Kernels - Craig, Iain D.; SpringerLink (Online service) (London : Springer London, 2007)
Keywords: Computer science; Software engineering; Operating systems (Computers).; Computational complexity; Computer Science; Operating Systems; Software Engineering; Discrete Mathematics in Computer Science; Math Applications in Computer Science