x

Foutenvrije computerprogramma’s dankzij wiskunde en logica


Jorge Pérez, adjuncthoogleraar Software Foundations aan de RUG, gebruikt wiskunde en logica om te komen tot een wereld zonder softwarefouten.

Lees het originele artikel