To assess the IMPRESS results, they are being used in class. The following describes an experience report based on a study carried out during the course Software Testing & Verification at Utrecht University, the Netherlands. The course took place in the 4th quarter of the academic year 2018/19.
An Experience Report on Using FormalZ in a Class
- Post author:Wishnu Prasetya
- Post published:July 15, 2019
- Post category:News