Real-Time CertiKos: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation Subtitle
By : Vishesh Rana
Book Info
