The Simplifier of the Program Verifier Tatzelwurm

Thomas Käufl. The Simplifier of the Program Verifier Tatzelwurm . In Harald Trost, Johannes Retti, editors, Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings. Volume 106 of Informatik-Fachberichte, pages 185-193, Springer, 1985.

Abstract

Abstract is missing.