UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsJoost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste

Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste

See awk-nrw website for more (in German)