Friday 25 April 2025
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
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