previous up next
Go backward to Example (Continued)
Go up to Top
Go forward to Example: Greatest Common Divisor
RISC-Linz logo

Purpose of Verification

Definition of such a function and its verification needs more knowledge; more knowledge gives better algorithms.

Author: Wolfgang Schreiner
Last Modification: November 24, 1999

previous up next