Developing reuse technology in proof engineering

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

Original languageEnglish
Title of host publicationProceedings of AISB95, Workshop on Automated Reasoning: bridging the gap between theory and practice, Sheffield, U.K.
Publication statusPublished - 1 Apr 1995

Cite this