Formal Refinement for Operating System Kernels [E-Book] / by Iain D. Craig.
Saved in:
Full text |
|
Personal Name(s): | Craig, Iain D. |
Imprint: |
London :
Springer-Verlag London Limited,
2007.
|
Physical Description: |
online resource |
ISBN: |
9781846289675 |
Subject (LOC): |
Description not available. |