Title: Verification of Digital and Hybrid Systems
Subjects: Operating systems (computers)