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

by S Beyer, C Jacobi, D Kröning, D Leinenbach, W J Paul
Venue:In: STTT