Wrap up of the IMPRESS project! Goals and achievements.Post author:Tanja VosPost published:November 11, 2020Post category:NewsPost comments:0 Comments@tanja_vos presenting the main goals of @projectIMPRESS at #CSEET2020 pic.twitter.com/UR5sZtTE3x— Iván Martínez Ortiz (@imartinezortiz) November 11, 2020 You Might Also Like An Experience Report on Using FormalZ in a Class July 15, 2019 Students at the UCM use Code defenders! November 20, 2019 Version 1.3.2 of Code Defenders has been released! December 5, 2018Leave a Reply Cancel replyCommentEnter your name or username to commentEnter your email address to commentEnter your website URL (optional) + = 11