author = {Wolfgang Schreiner},
title = {{The RISC ProofNavigator - Tutorial and Manual}},
language = {english},
abstract = {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).},
year = {2006},
month = {July},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {interactive proving assistant, program verification, formal methods},
length = {126},
url = {http://www.risc.uni-linz.ac.at/research/formal/software/ProofNavigator/manual/main.pdf}