Bernhard Beckert
Bernhard Beckert
Affiliation: Karlsruhe Institute of Technology (KIT)
Affiliation: Karlsruhe Institute of Technology
Pages in this Program
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑