@inproceedings{a02759436ac44e0f9fbaca0d2a03e7ea,
title = "Formal API Specification of the PikeOS Separation Kernel",
author = "F. Verbeek and Havle, \{O. (Oto)\} and J. Schmaltz and Tverdyshev, \{S. (Sergey)\} and Blasum, \{H. (Holger)\} and Langenstein, \{B. (Bruno)\} and Werner, \{S. (Stephan)\} and Wolff, \{B. (Burkhardt)\} and Nemouchi, \{Y. (Yakoub)\}",
year = "2015",
doi = "10.1007/978-3-319-17524-9\_26",
language = "English",
isbn = "9783319175232",
series = "Lecture Notes in Computer Science (LNCS) series",
publisher = "Springer International Publishing AG",
number = "9058",
pages = "375--389",
editor = "Klaus Havelund and Gerard Holzmann and Rajeev Joshi",
booktitle = "NASA Formal Methods",
address = "Switzerland",
note = "7th NASA Formal Methods Symposium : NFM 2015 ; Conference date: 27-04-2015 Through 29-04-2015",
}