-
Programming Languages and Systems – 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Igarashi, Atsushi 2017 Springer International Publishing
-
Verification of Sequential and Concurrent Programs
2009 Springer London
-
Verified Software: Theories, Tools, Experiments – 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
2014 Springer Berlin Heidelberg
-
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Winterer, Leonore ; Junges, Sebastian ; Wimmer, Ralf ; Jansen, Nils ; Topcu, Ufuk ; Katoen, Joost-Pieter ; Becker, Bernd 2018 Universitätsbibliothek Tübingen
-
Verification of Business Rules Programs
2014 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Chechik, Marsha ; Raskin, Jean-François 2016 Springer International Publishing
-
Programming Languages and Systems – 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Thiemann, Peter 2016 Springer Berlin Heidelberg
-
Programming Languages and Systems – 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Yang, Hongseok 2015 Springer International Publishing
-
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Damm, Werner 1987 Springer Berlin Heidelberg
-
Verification of Sequential and Concurrent Programs
1991 Springer New York
-
Interactive Theorem Proving and Program Development – Coq’Art: The Calculus of Inductive Constructions
Bertot, Yves ; Castéran, Pierre 2004 Springer Berlin Heidelberg
-
Verification of Sequential and Concurrent Programs
1997 Springer New York
-
Modular specification and verification of object oriented programs
Müller, Peter 2016 FernUniversität in Hagen
-
Induction on non-freely generated data types
Sengler, Claus 1996 [DFKI]
-
Modular specification and verification of object oriented programs
Müller, Peter 2002 Springer
-
Evaluation von Systemen zur Korrektheitsuntersuchung am Beispiel von Konsistenzerhaltungsprotokollen
Schneider, Sören 2002 Universitätsbibliothek der Universität Stuttgart
-
An Introduction to Certifying Algorithms
Alkassar, Eyad ; Böhme, Sascha ; Mehlhorn, Kurt ; Rizkallah, Christine ; Schweitzer, Pascal
-
Programming languages and systems – proceedings
Seidl, Helmut 2012 Springer
-
Programming languages and systems – proceedings
Castagna, Giuseppe 2009 Springer
-
Programming languages and systems – proceedings
Drossopoulou, Sophia 2008 Springer