conf.researchr.org / Bernhard Beckert

Not registered as user yet

Name: Bernhard Beckert

Affiliation: Karlsruhe Institute of Technology

Personal website: http://formal.iti.kit.edu/beckert/

Contributions

PERR 2019Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track
FTfJP 2015Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track