Formal Models of Operating System Kernels [E-Book] / by Iain D. Craig.
Craig, Iain D.
London : Springer-Verlag London Limited, 2007.
online resource
9781846287183
Full Text
Description not available.