Parameterized abstractions for reasoning about algebraic data types

Tuan-Hung Pham, Michael W Whalen

Computer Science and Engineering

Research output: Other contribution

Original language	Undefined/Unknown
Publisher	IEEE
State	Published - 2013

Find It

Find It at U of M Libraries

Cite this