dblp.uni-trier.dewww.uni-trier.de

Stephan Schweitzer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 5 from 5 records - Stephan Schweitzer has 1 coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)