Nowak, David, University of Lille & CNRS, 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.