| |
| 2005 | ||
|---|---|---|
| 5 | EE | Christoph Walther, Stephan Schweitzer: Reasoning About Incompletely Defined Programs. LPAR 2005: 427-442 |
| 2004 | ||
| 4 | EE | Christoph Walther, Stephan Schweitzer: Automated Termination Analysis for Incompletely Defined Programs. LPAR 2004: 332-346 |
| 3 | EE | Christoph Walther, Stephan Schweitzer: Verification in the Classroom. J. Autom. Reasoning 32(1): 35-73 (2004) |
| 2003 | ||
| 2 | EE | Christoph Walther, Stephan Schweitzer: About VeriFun. CADE 2003: 322-327 |
| 1 | EE | Christoph Walther, Stephan Schweitzer: A Machine-Verified Code Generator. LPAR 2003: 91-106 |
| 1 | Christoph Walther | [1] [2] [3] [4] [5] |