Bernhard Beckert

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Deductive Software Verification – The KeY Book

Mattias Ulbrich et al. (2016)

Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Bernhard Beckert et al. (2013)

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Christoph Baumann et al. (2012) · Electronic Proceedings in Theoretical Computer Science

Verification of object-oriented software: The KeY approach

Bernhard Beckert et al. (2007)

Taclets: A New Paradigm for Constructing Interactive Theorem Provers

Bernhard Beckert et al. (2004) · RACSAM