Marieke Huisman gave keynote at ICT.OPEN

At the ICT.OPEN conference, on 16 April, Marieke Huisman gave a keynote presentation, which was well-received: 'The future of software verification'. See Marieke Huisman | ICT Open