Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Professor Marielle Stoelinga in AG Connect
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Professor Marielle Stoelinga in AG Connect
Professor Marielle Stoelinga in AG Connect
Previous article
Next article
Thursday 4 March 2021
See for the article (in Dutch):
Moeten GGD's HPZone wel vervangen en hoe dan? - AG Connect
More recent news
Fri 3 May 2024
Papers of the Month: May 2024
Tue 23 Apr 2024
2nd place of student teams at VerifyThis 2024
Tue 9 Apr 2024
Papers of the Month: April 2024
Wed 27 Mar 2024
Faizan Ahmed appointed Programme Director BIT
Tue 12 Mar 2024
FMT Papers of the Month: March 2024
News summary
Close
Suggestions