Putting it all together − Formal Verification of the VAMP (Software Tools for Technology Transfer (STTT)‚ Special Issue on Recent Advances in Hardware Verification, 2006)

(untitled) - Beyer, S; Jacobi, C; Kroening, D; Leinenbach, D; Paul, W