Felix Cornelius (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Robert Geisler, Marcus Klar, Felix Cornelius: InterACT: An Interactive Theorem Prover for Algebraic Specifications. AMAST 1996: 563-566

4 Marcus Klar, Robert Geisler, Felix Cornelius: InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT 1995: 291-395

3 Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar: How to Cope with the Spectrum of SPECTRUM. KORSO Book 1995: 173-189

Selection of 3 from 7 records - Felix Cornelius has 9 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

5		Robert Geisler, Marcus Klar, Felix Cornelius: InterACT: An Interactive Theorem Prover for Algebraic Specifications. AMAST 1996: 563-566
4		Marcus Klar, Robert Geisler, Felix Cornelius: InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT 1995: 291-395
3		Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar: How to Cope with the Spectrum of SPECTRUM. KORSO Book 1995: 173-189