About VeriFun. - Christoph Walther; Stephan Schweitzer (CADE, 2003)

A Machine-Verified Code Generator. - Christoph Walther; Stephan Schweitzer (LPAR, 2003)

Automated Termination Analysis for Incompletely Defined Programs. - Christoph Walther; Stephan Schweitzer (LPAR, 2004)

Verification in the Classroom. - Christoph Walther; Stephan Schweitzer (J. Autom. Reason., 2004)

Reasoning About Incompletely Defined Programs. - Christoph Walther; Stephan Schweitzer (LPAR, 2005)

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme. - Dirk Stephan Schweitzer (2007)