October 2021

+
Taking formal methods mainstream
Verum’s CTO Rutger van Beusekom will present at the Software-Centric Systems Conference (SC2) Wednesday 6 October. At SC2,...