ISSE

Search

The User Interface of the KIV Verification System - A System Description

Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel

The User Interface of the KIV Verification System - A System Description

Proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005)


BibTex

For questions regarding the publication, please contact publications@isse.de!


Downloads: