Thomas Wulff Heissel
Thomas Wulff Heissel
Affiliation: Independent Researcher
Pages in this Program
Formalizing a Hoare Calculus for Choreographic Programming
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑