Formal Methods Publications
For the most relevant recent publications, see
- RISC ProofNavigator
- Work on the RISC ProofNavigator (2005-).
- MathBroker II
- The results of the "MathBroker II" project (2005-2007).
- MathBroker
- The results of the "MathBroker" project (2001-2003).
See also
- Understanding
Programs
- Work in progress on program and specification semantics (2006-).
Wolfgang Schreiner
Last modified: Mon Nov 20 17:00:02 CET 2006