Fusión de AdaCore y CodeSecure conforma una compañía global que ofrece soluciones de protección y seguridad de software integrado