Fingerprint
Dive into the research topics of 'Automatic assume/guarantee reasoning for heap-manipulating programs: Ongoing work'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automatic assume/guarantee reasoning for heap-manipulating programs: Ongoing work
Greta Yorsh, Alexey Skidanov, Thomas Reps, Mooly Sagiv
Research output: Contribution to journal › Conference article › peer-review
1
Scopus
citations