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
Link opens in a new tab
Scopus
citations