https://www.testnet.org/testnieuws/superscience-testen-en-formele-methoden-vullen-elkaar-prima-aan/
Superscience: Testen en formele methoden vullen elkaar prima aan - TestNet
Jan 3, 2023 - Twee stromingen moeten nu echt bij elkaar komen. Het onderwijs leerde studenten jarenlang programmeren zonder al te veel aandacht te besteden aan testen. Bij...
supersciencetestenformelemethodenvullen