FormalZ at study-day in Utrecht Post author:Tanja Vos Post published:February 14, 2020 Post category:News Post comments:0 Comments Students 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 IMPRESS presentation at ECSEE’18, the 3rd European Conference of Software Engineering Education June 14, 2018 IMPRESS presented at PROFES2019 November 27, 2019 FormalZ and CodeDefenders presented at TestEd@ICST2020, 28 Oct 2020. October 7, 2020 Leave a Reply Cancel replyCommentEnter your name or username to comment Enter your email address to comment Enter your website URL (optional) + one =
IMPRESS presentation at ECSEE’18, the 3rd European Conference of Software Engineering Education June 14, 2018