Formal Refinement for Operating System Kernels [electronic resource] /

57

Bibliographic Details
Main Authors: 275605 Craig, Iain D., SpringerLink (Online service)
Format:
Language:eng
Published: London : Springer-Verlag London Ltd, 2007
Subjects:
Online Access:http://dx.doi.org/10.1007/978-1-84628-967-5