Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz. Formal Specification of a Generic Separation Kernel. Archive of Formal Proofs, 2014, 2014. [doi]
Abstract is missing.