Mattias Ulbrich
Mattias Ulbrich
Affiliation: Karlsruhe Institute of Technology (KIT)
Pages in this Program
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑