Number of items: 1.
Article
Verbeek, Freek and Tverdyshev, Sergey and Havle, Oto and Blasum, Holger and Langenstein, Bruno and Stephan, Werner and Nemouchi, Yakoub and Feliachi, Abderrahmane and Wolff, Burkhart and Schmaltz, Julien
(2014)
Formal Specification of a Generic Separation Kernel.
Archive of Formal Proofs, 2014.
This list was generated on Fri Oct 11 16:35:53 2024 CEST.