Marieke Huisman Inaugural Lecture
2018-01-25
Marieke Huisman gives her inaugural lecture, entitled "Software Reliability for Everyone".
In this lecture, she presents her view on the future of software verification research.
2018-01-25
Marieke Huisman gives her inaugural lecture, entitled "Software Reliability for Everyone".
In this lecture, she presents her view on the future of software verification research.