7/12/2017 – ROSE Based Code Thorn tool garners first place again at Rigorous Examination of Reactive Systems (RERS) Challenge

ROSE-based Code Thorn tool garners first place again at Rigorous Examination of Reactive Systems (RERS) Challenge.

Posted in News