Formal Methods and Tools

UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsMarieke 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

Suggestions