Sabine Schmaltz. Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C. PhD thesis, Saarland University, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.