Christian Sattler

Researcher, Logic and Types division, Department of Computer Science and Engineering.

Published: Fri 20 Mar 2020.