Parameterized abstractions for reasoning about algebraic data types

Tuan-Hung Pham, Michael W Whalen

Research output: Other contribution

Original languageUndefined/Unknown
PublisherIEEE
StatePublished - 2013

Cite this

Parameterized abstractions for reasoning about algebraic data types. / Pham, Tuan-Hung; Whalen, Michael W.

IEEE. 2013, .

Research output: Other contribution

@misc{4557ac66cf90471c9faf8a113d58cfa9,
title = "Parameterized abstractions for reasoning about algebraic data types",
author = "Tuan-Hung Pham and Whalen, {Michael W}",
year = "2013",
language = "Undefined/Unknown",
publisher = "IEEE",
type = "Other",

}

TY - GEN

T1 - Parameterized abstractions for reasoning about algebraic data types

AU - Pham, Tuan-Hung

AU - Whalen, Michael W

PY - 2013

Y1 - 2013

M3 - Other contribution

PB - IEEE

ER -