Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)
by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich
ISBN 13: 9783319498119
Format: Paperback (736 pages) Publisher: Springer Published: 21 Dec 2016
Save for later
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)
by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert
ISBN 13: 9783642358869
Format: Paperback (368 pages) Publisher: Springer Published: 03 Jan 2013
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science)
by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
ISBN 13: 9783642317613
Format: Paperback (264 pages) Publisher: Springer Published: 19 Jul 2012
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings: 12455 (Lecture Notes in Computer Science, 12455)
by Robert Krimmer,Melanie Volkamer,Bernhard Beckert,Ralf Küsters,Oksana Kulyk,David Duenas-Cid,Mihkel Solvak
ISBN 13: 9783030603465
Format: Paperback (239 pages) Publisher: Springer Published: 25 Sep 2020
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
ISBN 13: 9783031081651
Format: Paperback (533 pages) Publisher: Springer Published: 16 Jun 2022