Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Marieke Huisman features in AG Connect podcast - see link below
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
Marieke Huisman features in AG Connect podcast - see link below
Marieke Huisman features in AG Connect podcast - see link below
Why are software verification processes not yet considered standard
Previous article
Next article
Tuesday 1 June 2021
Podcast: Waarom is softwareverificatie nog geen standaard in de praktijk? - 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