Bijdrage aan Proof Assistants     < 2008/2009 >

Inhoudelijk verantwoordelijk voor Proof Assistants is Herman Geuvers.

De docenten komen uit deze afdelingen:

afdeling fte
sws 0