Title: Formal Models of Operating System Kernels
Subjects: Operating systems (Computers)