Other Publications
Year : 2013
Burkhart Wolff : Connect in order to contact the contributor
https://hal.inria.fr/hal-01765535
Submitted on : Thursday, April 12, 2018-9:52:25 PM
Last modification on : Thursday, December 1, 2022-2:02:08 PM
Dates and versions
Identifiers
- HAL Id : hal-01765535 , version 1
Cite
Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. 2013. ⟨hal-01765535⟩
Collections
133
View
0
Download