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
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.
