Guarantees by Construction

Monday 24 June 2024, 4:30 pm
PhD student
J. Jacobs MSc.
Promotor(s)
dr. R.J. Krebbers, prof. dr. J.H. Geuvers
Co-promotor(s)
dr. S. Balzer (Carnegie Mellon University, US)
Location
Aula

.