First Multiplier event – 7 September 2018 – UtrechtPost author:Tanja VosPost published:September 1, 2018Post category:News You Might Also Like An Experience Report on Using FormalZ in a Class July 15, 2019 IMPRESS presentation at SIGCSE ’19, the 50th ACM Technical Symposium on Computer Science Education February 27, 2019 Version 1.1 of Code Defenders has been released! June 3, 2018
IMPRESS presentation at SIGCSE ’19, the 50th ACM Technical Symposium on Computer Science Education February 27, 2019