@phdthesis{Schmaltz13,
AUTHOR = {Schmaltz, Sabine},
TITLE = {Towards the Pervasive Formal Verification of Multi-Core Operating Systems and Hypervisors Implemented in C},
YEAR = {2013},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Schmaltz13.pdf},
SCHOOL = {Saarland University, Saarbrücken},
}