Verbeek, F ; Tverdyshev, S ; Havle, O... Verbeek , F , Tverdyshev , S , Havle , O , Blasum , H , Langenstein , B , Stephan , W , Nemouchi , Y , Feliachi , A , Wolff , B & Schmaltz , J 2014 , ' Formal specification of a generic separation kernel ' , Archive of Formal Proofs , vol. 2014 , no. 2014-07-18 ..
,
2014