The user interface of the KIV verification system: a system description

Metadaten
Author:	Dominik Haneberg ORCiD GND, Simon Bäumler GND, Michael Balser GND, Holger Grandy GND, Frank Ortmeier ORCiD GND, Wolfgang Reif ORCiD GND, Gerhard Schellhorn ORCiD GND, Jonathan Schmitt GND, Kurt Stenzel GND
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/35671
Parent Title (English):	Public transport 2020 - making the connection: people, environment, business; 56th UITP world congress, Rome, 5 - 9 June 2005; proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005)
Publisher:	UITP
Place of publication:	Brussels
Type:	Conference Proceeding
Language:	English
Year of first Publication:	2005
Release Date:	2017/07/21
Edition:	DVD
Institutes:	Fakultät für Angewandte Informatik
	Fakultät für Angewandte Informatik / Institut für Informatik
	Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
	Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

Open Access