Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, W...

Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattia...

Deductive Software Verification: Future Perspectives | Wolfgang

Tests and Proofs, Fachbücher von Reiner Hähnle, Bernhard Beckert

Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Sch...

Software Quality: Future Perspectives on Software Engineering Quality, Fachbücher von Stefan Biffl, Dietmar Winkler, Man...

Perspectives on the Future of Software Engineering, Fachbücher von Klaus Schmid, Jürgen Münch

Software Quality: Future Perspectives On Software Engineering Quality

Verification of Temporal Properties in Embedded Software, Fachbücher

Images of the Future City, Fachbücher von Anders Gullberg, Mattias Höjer, Ronny Pettersson

Software Engineering: Specification, Implementation, Verification, Fachbücher von Suad Alagic

Numerical Software Verification, Fachbücher von Damien Zufferey, Majid Zamani

Hardware/Software Co-Design and Co-Verification, Fachbücher

Numerical Software Verification, Fachbücher von Alessandro Abate, Sylvie Boldo

Hardware and Software: Verification and Testing, Fachbücher von Eran Yahav

Embedded Software Verification and Debugging, Fachbücher von Markus Winterholer, Djones Lettnin