Je hebt een klacht over de onderstaande posting:
In 1960 wistmen al hoe programma's correct te bewijzen. Buiten Frankrijk schijnt dit echter gewoonweg genegeerd te worden. (De software voor bijv. de Parijse metro is correct bewezen - daar gaat dus ook nooit iets softwarematig mis.)
Beschrijf je klacht (Optioneel):
