Formal Specification of a Generic Separation Kernel

  Freek Verbeek ¹ AuthorId : 11179083
Author Employer institution : Radboud university [Nijmegen]

  Sergej Tverdyshev AuthorId : 11179084
Author Employer institution : SYSGO AG [Klein-Winternheim]

  Havle Oto ² AuthorId : 1295618
Author

  Blasum Holger ² AuthorId : 1295621
Author

  Langenstein Bruno ³ AuthorId : 1295622
Author

  Stephan Werner ⁴ AuthorId : 1197955
Author

  Yakoub Nemouchi ⁵ AuthorId : 1294529
Author

  Abderrahmane Feliachi ⁵ AuthorId : 984300

Author

  Burkhart Wolff ^{6, 5} AuthorId : 850742

Author IdHAL : burkhart-wolff