A comparison of PVS and Isabelle/HOL

Thumbnail Image

Files

Primary 18686_compofpva.pdf (276.46 KB)

Date

1998

Authors

Griffioen, David
Huisman, Marieke

Journal Title

Journal ISSN

Volume Title

Publisher

[S.l. : s.n.]

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/18686

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By