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

Find It

Find It at U of M Libraries

Cite this