The ICICS/CS Reading Room

---

UBC CS TR-79-15 Summary

• No on-line copy of this technical report is available.

The Design of a Verifiable Operating System Kernel, January 1979 T. Lockhart

(Abstract not available on-line)

---

If you have any questions or comments regarding this page please send mail to help.ubc.ca.