ESASpacecraft Software Development ESA selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.Read the Press Release »