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 Best paper award for SIMVA and FormalZ paper at Virtual Campus December 5, 2020 Code Defenders was used in a course at the Humboldt University Berlin May 15, 2018Leave a Reply Cancel replyCommentEnter your name or username to commentEnter your email address to commentEnter your website URL (optional) 5 + = 8