Promotie A.J. Rouvoet
14 oktober 2021 15:00 - Locatie: Aula, TU Delft | Zet in mijn agenda
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 beschikbaar binnen enkele weken na de verdediging.