Will Informatics be able to Justify the Construction of Large Computer Based Systems? Technical Report Nr. 2015, Institut für Informatik und Prakt. Math. der Christian-Albrechts Universität, June 2001. [Postscript]
Wolfgang Goerigk und Hans Langmaack.
Compiler Implementation Verification and Trojan Horses (Draft Extended Version). Verifix Technical Report, 2001. [BibTeX][Postscript].
Axel Dold, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Andreas Heberle, Friederich W. von Henke, Ulrich Hoffmann, Hans Langmaack, Vincent Vialard, Andreas Wolf, und Wolf Zimmermann.
Zwischenbericht Verifix. Technical Report Verifix-ZB99, Universities of Karlsruhe, Karlsruhe, Kiel, Ulm, March 1999. [BibTeX][Postscript].
Wolf Zimmermann, Andreas Heberle, und Wolfgang Goerigk.
The Verifix Approach Towards the Construction of Correct Compilers. Verifix Technical Report 1999. [BibTeX].
