DMCA

Pushing the Limits of Formal Verification

by Michael Backes , Matthias Schunter