Promotie A.J. Rouvoet

14 oktober 2021 15:00 - Locatie: Aula, TU Delft

Correct by Construction Language Implementations. Promotor: Prof.dr. E. Visser (EWI); Copromotor: Dr. R.J. Krebbers (EWI/Radboud U. Nijmegen).

Meer informatie?
Voor toegang tot de theses van de PhD-studenten kunt u kijken in de TU Delft Repository. de digitale opslag van publicaties van TU Delft. Theses zijn beschibaar binnen enkele weken na de verdediging.