Fingerprint
Dive into the research topics of 'Predicate abstraction and canonical abstraction for singly-linked lists'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Predicate abstraction and canonical abstraction for singly-linked lists
Roman Manevich, E. Yahav, G. Ramalingam, Mooly Sagiv
Research output: Contribution to journal › Conference article › peer-review
65
Scopus
citations