17.02.2021 01:27 Uhr, Quelle: Heise

AdaCore schnappt sich Dresdner Cybersecurity-Experten

AdaCore kauft Componolit. Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert.

Weiterlesen bei Heise