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

Research output: Working paper

Original languageUndefined/Unknown
StatePublished - 2013

Cite this