Boute, R.R.Boute2021-10-172021-10-172008-10https://imec-publications.be/handle/20.500.12860/13438Formal methods: teaching and practicing computer science at the university levelProceedings paper