| Original language | Undefined/Unknown |
|---|---|
| Publisher | IEEE |
| State | Published - 2013 |
Parameterized abstractions for reasoning about algebraic data types
Tuan-Hung Pham, Michael W Whalen
Research output: Other contribution
Tuan-Hung Pham, Michael W Whalen
Research output: Other contribution
| Original language | Undefined/Unknown |
|---|---|
| Publisher | IEEE |
| State | Published - 2013 |