@phdthesis{Be05,
AUTHOR = {Beyer, Sven},
TITLE = {Putting it all together - Formal Verification of the VAMP},
YEAR = {2005},
URL = {http:///publikationen/Be05.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}