Putting it all together: Formal verification of the VAMP (2006)

by Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang Paul
Venue:International Journal on Software Tools for Technology Transfer