Technical Reports

The ICICS/CS Reading Room


UBC CS TR-79-09 Summary

Designing an Operating System to be Verifiable, 1979 David R. Cheriton

(Abstract not available on-line)


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