Je hebt een klacht over de onderstaande posting:
Correctheidsbewijzen voor software zijn heel moeilijk dus alleen bepaalde onderdelen kunnen aangepakt worden, dit zouden dan bijvoorbeeld de authenticatie functies kunnen zijn.
Beschrijf je klacht (Optioneel):