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