@phdthesis{Alk09, <br>AUTHOR = {Alkassar, Eyad},<br>TITLE = {OS Verication Extended - On the Formal Verication of Device Drivers and the Correctness of Client/Server Software},<br>YEAR = {2009},<br>SCHOOL = {University of Saarland},<br>}