A Comparison of PVS and Isabelle/HOL

David Griffioen, Marieke Huisman

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

19 Citations (Scopus)
Original languageEnglish
Title of host publicationTheorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
EditorsJim Grundy, Malcolm C. Newey
PublisherSpringer
Pages123-142
Number of pages20
Volume1479
ISBN (Electronic)978-3-540-49801-8
ISBN (Print)978-3-540-64987-8
DOIs
Publication statusPublished - 1998
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1479

Cite this