Putting it all together — Formal Verification of the VAMP

Cached

Download Links

by Sven Beyer , Christian Jacobi , Daniel Kröning , Dirk Leinenbach , Wolfgang J. Paul
Venue:International Journal on Software Tools for Technology Transfer (STTT
Citations:19 - 2 self