search result

Cover von Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22 - 23, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12165
Media group: MONOGRAPHIE
Cover von The Logic of Software
A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 13360
Media group: MONOGRAPHIE
Cover von Deductive Software Verification
Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 12345
Media group: MONOGRAPHIE
Cover von Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2 - 6, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 11918
Media group: MONOGRAPHIE
Cover von Deductive Software Verification
The KeY Book : From Theory to Practice
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10001
Media group: MONOGRAPHIE
OPEN V 11.1.0.0