"Putting it all together - Formal verification of the VAMP."

Sven Beyer et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics