previous up next
Go backward to Proving Simple Program Properties
Go up to Top
Go forward to Example: Type Correctness
RISC-Linz logo

Invariance Properties


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next