|
СБ |
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY |
2020 |
|
Lecture Notes in Computer Science |
- Ahrendt W.
- Beckert B.
- Bubel R.
- Hahnle R.
|
|
|
18.01.2021 |
|
СБ |
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016 |
2018 |
|
|
- Bennaceur A.
- Hahnle R.
- Meinke K.
|
|
|
26.09.2018 |
|
СБ |
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014 |
2014 |
|
Lecture Notes in Computer Science |
- Bernardo M.
- Damiani F.
- Hahnle R.
- Johnsen E. B.
|
|
|
29.08.2014 |
|
СБ |
Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012 |
2013 |
|
Lecture Notes in Computer Science |
- Giachino E.
- Hahnle R.
- de Boer F. S.
- Bonsangue M. M.
|
|
|
07.10.2013 |
|
СБ |
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010 |
2010 |
|
Lecture Notes in Artificial Intelligence |
- Giesl J.
- Hahnle R.
|
|
|
21.09.2010 |
|
СБ |
Verification of Object-Oriented Software: The KeY Approach. Foreword by K.Rustan M.Leino |
2007 |
|
Lecture Notes in Artificial Intelligence |
- Beckert B.
- Hahnle R.
- Schmitt P. H.
|
|
|
23.02.2007 |
|
СБ |
Theorem Proving with Analytic Tableaux and Related Methods: Proc./4th Intern. Workshop, TABLEAUX 95. Schloss Rheinfels, St.Goar, Germany, May 1995 |
1995 |
|
Lecture Notes in Artificial Intelligence |
- Baumgartner P.
- Hahnle R.
- Posegga J.
|
|
|
01.06.1995 |
