Fingerprint
Dive into the research topics of 'Modular verification of software components in C'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modular verification of software components in C
Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jha, Helmut Veith
Research output: Contribution to journal › Conference article › peer-review
191
Scopus
citations