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 Version 1.6 of Code Defenders has been released! October 20, 2019 Code Defenders was used in a course at the Humboldt University Berlin May 15, 2018