Wij nodigen u uit tot het bijwonen van de openbare verdediging van Stijn de Gouw. De titel van zijn proefschrift is
"Combining Monitoring with Run-time Assertion Checking"
Promotor: Prof.dr. Frank de Boer
Co-promotor: dr. Marcello Bonsanque
More information: