On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types

Tuan-Hung Pham, Michael W Whalen

Research output: Working paper

Original languageUndefined/Unknown
StatePublished - 2013

OpenUrl availability

Full text

Cite this