bib.howest.be Search Results

You searched for: Auteur Beckert, Bernhard

1 - 9 of 9

1. Tests and Proofs

Author:: Beckert, Bernhard; Hähnle, Reiner
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

2. Automated Reasoning with Analytic Tableaux and Related Methods

Author:: Beckert, Bernhard; Kanade, Takeo; Kittler, Josef
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

3. Formal Verification of Object-Oriented Software

Author:: Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Publisher:: Springer Berlin Heidelberg 2011
Format:: e-book

4. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Author:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Publisher:: Springer International Publishing 2020
Format:: e-book

5. Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Author:: Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

6. Deductive Software Verification – The KeY Book

Author:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Publisher:: Springer International Publishing 2016
Format:: e-book

7. Electronic Voting

Author:: Krimmer; Beckert, Bernhard; Cortier, Veronique; Duenas-Cid, David; Küsters, Ralf; Serdült, Uwe; Volkamer, Melanie
Publisher:: Springer International Publishing 2019
Format:: e-book

8. Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings

Author:: Krimmer; Beckert, Bernhard; Duenas-Cid, David; Kulyk, Oksana; Küsters, Ralf; Solvak, Mihkel; Volkamer, Melanie
Publisher:: Springer International Publishing 2020
Format:: e-book

9. Verification of Object-Oriented Software. The KeY Approach

Author:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book