Aspects of the proof-assistant Yarrow

J. Zwanenburg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

189 Downloads (Pure)
Original languageEnglish
Title of host publicationInformal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)
EditorsR.C. Backhouse
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Pages173-180
Publication statusPublished - 1998

Publication series

NameComputing Science Reports
Volume98/08
ISSN (Print)9432-0101

Cite this