Verificatie van software: erg complex maar in ieders belang

Kijk https://www.knaw.nl/nl/actueel/agenda/verificatie-van-software voor meer informatie