- Proof Transformations from Searchoriented into Interactionoriented Tableau Calculi
- GERHARD SCHELLHORN AND WOLFGANG AHRENDT THE WAM CASE STUDY
- Hilbert's -Terms in Automated Theorem Proving
- KeY: A Formal Method for Object-Oriented Systems
- Hilbert's #Terms in Automated Theorem Proving
- Deductive Search for Errors in Free Data Type Speci cations
- AHRENDT, BECKERT, HHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE
- Reasoning about Abstract State Machines: The WAM Case Study
- A Verification System for Distributed Objects with Asynchronous Method Calls
- Automatic Validation of Transformation Rules for Java Verification
- AHRENDT, BECKERT, HHNLE, MENZEL, REIF, SCHELLHORN, SCHMITT INTEGRATING AUTOMATED AND INTERACTIVE
- GERHARD SCHELLHORN AND WOLFGANG AHRENDT THE WAM CASE STUDY
- Reasoning about Abstract State Machines: The WAM Case Study
- Workshop on Disproving -Non-Theorems, Non-Validity,
- Non-Clausal Reasoning SFI Research Professor, Cork Constraint Computation Centre, University College
- The 21st Conference on Automated Deduction Workshop on Disproving -
- Von PROLOG zur WAM Verifikation der Prozedur ubersetzung
- Verifying Object-Oriented Programs with KeY: Wolfgang Ahrendt1
- Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland
