The University of British Columbia

UBC - A Place of Mind

The University of British Columbia Vancouver Campus

Faculty of Science Computer Science

Main navigation

About
People
- Leadership
- Faculty
- Staff
- In Memoriam
Undergrads
Grads
Research
News & Events
- News
- Awards
- Events
Industry & Alumni
Jobs & Careers
Engage
- Sponsor Us
- Donate

Mobile Menu

About
People
Undergrads
Grads
Research
News & Events
Industry & Alumni
Jobs & Careers
Engage
- Sponsor Us
- Donate

Breadcrumb

Home
Technical Reports
Technical Reports

The Design of a Verifiable Operating System Kernel

ID

TR-79-15

Authors

T. Lockhart

Publishing date

January 1979

Computer Science

Vancouver Campus

ICICS/CS Building 201-2366 Main Mall

Vancouver, BC Canada V6T 1Z4

604 822 3061

Map & Directions

Department Directory

We acknowledge that the UBC Vancouver campus is situated on the traditional, ancestral, and unceded territory of the xʷməθkʷəy̓əm (Musqueam).

Login

The University of British Columbia

Emergency Procedures |
Terms of Use |
UBC Copyright |
Accessibility