Formal Refinement for Operating System Kernels - Craig, Iain D.; SpringerLink (Online service) (London : Springer London, 2007)
Keywords: Computer science; Software engineering; Computer Science; Software Engineering/Programming and Operating Systems