Stephan Schweitzer

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Christoph Walther, Stephan Schweitzer
Reasoning About Incompletely Defined Programs. LPAR (2005)
Christoph Walther, Stephan Schweitzer
Verification in the Classroom. J. Autom. Reason. 32 (1) (2004)
Christoph Walther, Stephan Schweitzer
Automated Termination Analysis for Incompletely Defined Programs. LPAR (2004)
Christoph Walther, Stephan Schweitzer
About VeriFun. CADE (2003)
Christoph Walther, Stephan Schweitzer
A Machine-Verified Code Generator. LPAR (2003)