Fingerprint
Dive into the research topics of 'Combining shape analyses by intersecting abstractions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Combining shape analyses by intersecting abstractions
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
11
Scopus
citations