Sven Beyer. Putting it all together - Formal Verification of the VAMP. PhD thesis, Saarland University, Saarbrücken, Germany, 2005. ###>Sven Beyer. Putting it all together - Formal Verification of the VAMP. PhD thesis, Saarland University, Saarbrücken, Germany, 2005.