Not registered as user yet

Name: Bernhard Beckert

Affiliation: Karlsruhe Institute of Technology

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

ECOOP 2015 Activities

• Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track in FTfJP 2015
• Show activities from other conferences