Koen Claessen

Professor, avdelningen för funktionell programmering, Institutionen för data- och informationsteknik.

Publicerad: on 23 aug 2017.