Overslaan en naar de inhoud gaan
Auteur

Jurgen Vinju

-

is senior onderzoeker bij het Centrum Wiskunde & Informatica (CWI) en deeltijdhoogleraar automated software analysis aan de TU Eindhoven.