Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
‘Snappen we met alle data de tandwielen nog?’
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
‘Snappen we met alle data de tandwielen nog?’
‘Snappen we met alle data de tandwielen nog?’
Previous article
Next article
Tuesday 20 August 2019
Marielle Stoelinga gave an interview for iMaintain.
Read the article by Laura van der Linde here
.
More recent news
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
Tue 27 Feb 2024
Tom van Dijk in live broadcast: 'AI in Education'
News summary
Close
Suggestions