Wolfgang Schreiner,
"The RISC ProofNavigator - Tutorial and Manual"
, Serie RISC Technical Reports, Johannes Kepler Universität, Altenbergerstrasse 69, 4040 Linz, Austria, 7-2006
Original Titel:
The RISC ProofNavigator - Tutorial and Manual
Sprache des Titels:
Englisch
Original Kurzfassung:
This document describes the use of the RISC ProofNavigator, an interactive proving assistant for program and system reasoning developed at the Research Institute for Symbolic Computation (RISC).
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Johannes Kepler Universität
Verlagsanschrift:
Altenbergerstrasse 69, 4040 Linz, Austria
Serie:
RISC Technical Reports
Erscheinungsmonat:
7
Erscheinungsjahr:
2006
Anzahl der Seiten:
126
Notiz zur Publikation:
institution: Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria