Contributions offered by Bernhard Reus for topics 
D (verification methods)

About "Verification in SDT":
synthetic fixpoint induction vs. classic and maybe some 
sample proof.

--------------------------------------------------------------
Result of feedback form submitted by
Reus (reus@informatik.uni-muenchen.de) on Monday, July 27, 1998 at 15:53:1