Search results for: Reiner Hähnle
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 5 > 485-513
Journal of Automated Reasoning > 2019 > 62 > 1 > 93-126
Computers & Security > 2017 > 67 > C > 335-349
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tool Demonstrations > 327-330
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Program Testing and Analysis > 30-41
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Verification of Object-Oriented Software. The KeY Approach > Part II: Expressing and Formalising Requirements > 295-315
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 285-299
Lecture Notes in Computer Science > Algebraic and Proof-theoretic Aspects of Non-classical Logics > 138-159
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 90-105
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements Engineering > 233-248
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The HATS Project > 125-146
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 173-187
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Mathematical Computing > 262-275