Presentation

Automated Testing with ACTS and a Model Checker

September 2, 2014
Created October 13, 2016, Updated June 22, 2020