Jesper Cockx

Doktor, avdelningen för Logic and Types, Institutionen för data- och informationsteknik.

Publicerad: on 11 okt 2017. Ändrad: fr 02 nov 2018