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…

Continue Reading FormalZ at study-day in Utrecht