Christian Sattler

Forskare, avdelningen för Logik och typer, Institutionen för data- och informationsteknik.

Publicerad: fr 20 mar 2020.