Formal Specification of a Generic Separation Kernel
by Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff and Julien Schmaltz
Abderrahmane Feliachi
2014
2012
Isabelle/Circus
by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel