Fingerprint
Dive into the research topics of 'Localization and register sharing for predicate abstraction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Localization and register sharing for predicate abstraction
Himanshu Jain, Franjo Ivančić, Aarti Gupta, Malay K. Ganai
Research output: Contribution to journal › Conference article › peer-review
18
Scopus
citations