Marek Jankola
Marek Jankola
Affiliation: LMU Munich
Pages in this Program
Transition Invariants Revisited: Termination Witnesses and Their Validation
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑