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 verder

Bron:

RUG Persberichten