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

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

Cite this