Ga direct naar inhoud
Menu
nl
Nederlands
English
Elektrotechniek, Wiskunde en Informatica (EEMCS)
UT
Faculteiten
EEMCS
Agenda
Promotie Sophie Lathouwers | Exploring Annotations for Deductive Verification
nl
Nederlands
English
Elektrotechniek, Wiskunde en Informatica (EEMCS)
UT
Faculteiten
EEMCS
Agenda
Promotie Sophie Lathouwers | Exploring Annotations for Deductive Verification
Promotie Sophie Lathouwers | Exploring Annotations for Deductive Verification
Vorig event
Volgend event
dinsdag 17 oktober 2023 14:30 - 15:30
Exploring Annotations for Deductive Verification
Voor meer informatie zie de
Engelse website
.
Waaier, 4
Voeg aan kalender toe
aHGbRdipTzsgMbuxYmdh49124
17/10/2023 14:30
17/10/2023 15:30
Europe/Amsterdam
Promotie Sophie Lathouwers | Exploring Annotations for Deductive Verification
Exploring Annotations for Deductive Verification
Waaier, 4
false
DD/MM/YYYY
Tags:
Promoties & Oraties
Waaier, 4
+31 53 489 2299
servicedesk-carre@utwente.nl
Route
Download de plattegrond
Meer events
wo 21 - do 29 aug 2024
Kick-In 2024
do 7 nov 2024
Risk & Resilience Festival
Congressen & Symposia
Festivals
Lezingen
Evenementenoverzicht
Sluiten
Suggesties