Everyone is welcome to attend the public defense of Nikolaos Bezirgiannis , of his thesis 'Abstract Behavioral Specification: unifying modeling and programming'.
Promotor: Prof.dr. F.S. (Frank) de Boer (CWI/Universiteit Leiden)
Co-promotor: Dr. C.P.T. (Stijn) de Gouw (CWI/Open Universiteit)