Peter Sanders
Peter Sanders
Affiliation: Karlsruhe Institute of Technology
Pages in this Program
Mallob: Scalable Automated Reasoning On Demand (Distinguished Paper)
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑