@dblp

Verification of Operating System Monolithic Kernels Without Extensions.

, and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 230-248. Springer, (2018)

Links and resources

Tags