FormalZ at study-day in UtrechtPost author:Tanja VosPost published:February 14, 2020Post category:NewsPost comments:0 CommentsStudents of the Open University The Netherlands are using FormalZ to learn about formal specifications. There performance will be monitored to write up the final evaluation of the tools for the IMPRESS project. You Might Also Like First Multiplier event – 7 September 2018 – Utrecht September 1, 2018 Version 1.3 of Code Defenders has been released! November 8, 2018 Version 1.1 of Code Defenders has been released! June 3, 2018Leave a Reply Cancel replyCommentEnter your name or username to commentEnter your email address to commentEnter your website URL (optional) − =