Auflistung nach Autor "Beckert, Bernhard"
Anzeige der Dokumente 1-6 von 6
-
Deductive Verification of System Software in the Verisoft XT Project
Beckert, Bernhard; Moskal, Michał
57-61 -
Deduktion: von der Theorie zur Anwendung
Baader, Franz; Beckert, Bernhard; Nipkow, Tobias
444-451 -
Nachruf Professor em. Dr. Dr. h.c. Gerhard Goos
Beckert, Bernhard; Häuser, Isabel; Oberweis, Andreas; Reussner, Ralf; Schäfer, Sebastian
157-158 -
Practical Aspects of Automated Deduction for Program Verification
Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp
43-49 -
Preface
Beckert, Bernhard; Snelting, Gregor
347-347 -
Recent Developments in the Context of Online Elections and Digital Polls in Germany
Beckert, Bernhard; Budurushi, Jurlind; Grunwald, Armin; Krimmer, Robert; Kulyk, Oksana; Küsters, Ralf; Mayer, Andreas; Müller-Quade, Jörn; Neumann, Stephan; Volkamer, Melanie
213-217