H.P. Korver, 1968
doctor
Naam | H.P. Korver |
---|---|
Voornamen | Henri Peter |
Geslacht | man |
Geboren | 1968, Rotterdam, Nederland |
Publicaties | [UvA-catalogus] |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id051689 |
Opleiding
Opleiding | Wiskunde en Informatica |
---|---|
Graad |
29 juni 1994
|
Examentype | promotie |
Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
Proefschrift | Protocol verification in →m⇔CRL |
Trefwoord | programmatuurontwikkeling, Software, Fouten, Testen |
Promotor(en) |
|