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.
FormalZ at study-day in Utrecht
- Post author:Tanja Vos
- Post published:February 14, 2020
- Post category:News
- Post comments:0 Comments