First Multiplier event – 7 September 2018 – UtrechtPost author:Tanja VosPost published:September 1, 2018Post category:News You Might Also Like FormalZ, Analytics and validation with SIMVA December 12, 2020 FormalZ and CodeDefenders presented at TestEd@ICST2020, 28 Oct 2020. October 7, 2020 FormalZ at study-day in Utrecht February 14, 2020