Fingerprint
Dive into the research topics of 'Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
- Julian Erhard
- , Simmo Saan
- , Sarah Tilscher
- , Michael Schwarz
- , Karoliine Holter
- , Vesal Vojdani
- , Helmut Seidl
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations