@doctoralThesis{Schmaltz_2012,
title={Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C},
author={Schmaltz, Sabine Bettina},
doi={http://dx.doi.org/10.22028/D291-26525},
subtitle={In Richtung durchgängige formale Verifikation von in C implementierten Mehrkern-Betriebssystemen und -Hypervisoren},
year={2012}
}