Fingerprint
Dive into the research topics of 'Reasoning About Algebraic Data Types with Abstractions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasoning About Algebraic Data Types with Abstractions
Tuan Hung Pham, Andrew Gacek, Michael W. Whalen
Research output: Contribution to journal › Article › peer-review
12
Scopus
citations