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

Tests and Proofs, Fachbücher von Carlo A. Furia, Bernhard K. Aichernig

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

Tests and Proofs, Fachbücher von Dirk Beyer, Chantal Keller

Tests and Proofs, Fachbücher von Franz Wotawa, Frédéric Loulergue

Tests and Proofs, Fachbücher von Luca Vigano, Margus Veanes

Tests and Proofs, Fachbücher von Heike Wehrheim, Wolfgang Ahrendt

Tests and Proofs, Fachbücher von Martina Seidl, Nikolai Tillmann

Tests and Proofs, Fachbücher von Sebastian Gabmeyer, Einar Broch Johnsen

Bernhard Beckert | Automated Reasoning With Analytic Tableaux And

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

Electronic Voting, Fachbücher von Ralf Küsters, Bernhard Beckert, Robert Krimmer, Uwe Serdült, David Duenas-Cid, Melanie...

Tests and Proofs, Fachbücher von Catherine Dubois

Tests and Proofs, Fachbücher von Bertrand Meyer, Yuri Gurevich

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

Proof and Computation, Fachbücher