Fingerprint
Dive into the research topics of 'Abella: A system for reasoning about relational specifications'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Abella: A system for reasoning about relational specifications
David Baelde, Andrew Gacek, Gopalan Nadathur, Yuting Wang, Kaustuv Chaudhuri, Dale Miller, Alwen Tiu
Research output: Contribution to journal › Article › peer-review
59
Scopus
citations