Stephan Schweitzer

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

Coauthor Index

1

Christoph Walther

[1] [2] [3] [4] [5]