Formal Models of Operating System Kernels.
The article reviews the book "Formal Models of Operating System Kernels," by Iain D. Craig.
| Published in: | Computer (00189162) Vol. 40; no. 6; p. 89 |
|---|---|
| Format: | Book Review |
| Published: |
IEEE
Jun2007
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |