| Original language | Undefined/Unknown |
|---|---|
| State | Published - 2013 |
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS
On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types
- Tuan-Hung Pham
- , Michael W Whalen
Research output: Working paper