Automating Algebraic Specifications of Non-freely Generated Data Types.

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

Browse the full ATVA paper archive.