@phdthesis{Idr09,
AUTHOR = {In der Rieden, Thomas},
TITLE = {Verifi ed Linking for Modular Kernel Veri fication},
YEAR = {2009},
SCHOOL = {Saarland University, Saarbrücken},
}