Torrini, Paolo, University of Lille, France
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.