Fingerprint
Dive into the research topics of 'On the advantages of approximate vs. complete verification: Bigger models, faster, less memory, usually accurate'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
On the advantages of approximate vs. complete verification: Bigger models, faster, less memory, usually accurate
D. Owen, T. Menzies, Mats Heimdahl, Jimin Gao
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9
Scopus
citations