Formal Specification of a Generic Separation Kernel.

Freek Verbeek Sergey Tverdyshev Oto Havle Holger Blasum Bruno Langenstein Werner Stephan Yakoub Nemouchi Abderrahmane Feliachi Burkhart Wolff Julien Schmaltz

Published in: Arch. Formal Proofs (2014)

Keyphrases