ESA Selects AdaCore for Spacecraft Software Development Solution
The European Space Agency (ESA) selected AdaCore, a provider of software development and verification tools, to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and...