Bijdrage aan Proof Assistants     < 2006/2007 >

Inhoudelijk verantwoordelijk voor Proof Assistants is Herman Geuvers.

De docenten komen uit deze afdelingen:

afdeling fte
sws 0.115625