An Environment For Automated Reasoning About Partial Functions.

David A. Basin

Browse the full CADE paper archive.