@techreport{fbf7ea74488f4b19bff43cd2d172a691,
title = "The RISC ProofNavigator - Tutorial and Manual",
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).",
author = "Wolfgang Schreiner",
year = "2006",
month = jul,
language = "English",
series = "RISC Technical Reports",
publisher = "Johannes Kepler Universit{\"a}t",
type = "WorkingPaper",
institution = "Johannes Kepler Universit{\"a}t",
}