Fingerprint
Dive into the research topics of 'Handling loops in bounded model checking of C programs via k-induction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Handling loops in bounded model checking of C programs via k-induction
Mikhail Y. R. Gadelha, Hussama I. Ismail, Lucas C. Cordeiro
Research output: Contribution to journal › Article › peer-review
181
Downloads
(Pure)