@phdthesis{Lei08,
AUTHOR = {Leinenbach, Dirk},
TITLE = {Compiler Verification in the Context of Pervasive System Verification},
YEAR = {2008},
SCHOOL = {Saarland University, Saarbrücken},
}