| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering |
| Pages | 611-614 |
| Number of pages | 4 |
| State | Published - 2013 |
RADA: A tool for reasoning about algebraic data types with abstractions
Tuan-Hung Pham, Michael W Whalen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7
Scopus
citations