Formal Specification of a Generic Separation Kernel

Type de document :
Autre publication
Submission to the Archive of Formal Proofs (AFP) http://afp.sf.net/entries/CISC-Kernel.shtml. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-01765535
Contributeur : Burkhart Wolff <>
Soumis le : jeudi 12 avril 2018 - 21:52:25
Dernière modification le : mercredi 2 mai 2018 - 11:07:53

Identifiants

  • HAL Id : hal-01765535, version 1

Collections

Citation

Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. Submission to the Archive of Formal Proofs (AFP) http://afp.sf.net/entries/CISC-Kernel.shtml. 2013. 〈hal-01765535〉

Partager

Métriques

Consultations de la notice

157