Refinement Verification of OS Services based on a Verified Preemptive Microkernel
Book chapter (April 2024)
The most recent citing publications are shown below. View all 64 publications that cite this research output on Dimensions.
Book chapter (April 2024)
Book chapter (April 2024)
Preprint in arXiv (March 2024)