RADA: A tool for reasoning about algebraic data types with abstractions

Tuan-Hung Pham, Michael W Whalen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations
Original languageUndefined/Unknown
Title of host publicationProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Pages611-614
Number of pages4
StatePublished - 2013

Cite this

Pham, T-H., & Whalen, M. W. (2013). RADA: A tool for reasoning about algebraic data types with abstractions. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (pp. 611-614)