Sven Beyer Christian Jacobi 0002 Daniel Kröning Dirk Leinenbach Wolfgang J. Paul Putting it all together - Formal verification of the VAMP. 411-430 2006 8 STTT 4-5 http://dx.doi.org/10.1007/s10009-006-0204-6 db/journals/sttt/sttt8.html#BeyerJKLP06