Books
Benjamin M. Brosgol & Jean-Paul Blanquart
AdaCore Technologies for Space Systems Software
Quentin Ochem, Robert Tice, Gustavo A. Hoffmann, and Patrick Rogers
Ada for the Embedded C Developer
Yannick Moy
SPARK Ada for the MISRA C Developer
Multiple Authors
Embedded SPARK and Ada Use Cases
Roderick Chapman & Yannick Moy
AdaCore Technologies for Cybersecurity
Benjamin M. Brosgol & Dudrey Smith
AdaCore Technologies for FACE™ Software Developers
Source Code to Object Code Traceability Study
Implementation Guidance for the Adoption of SPARK
Frédéric Pothon & Quentin Ochem
AdaCore Technologies for DO‑178C / ED‑12C
Jean-Louis Boulanger & Quentin Ochem
AdaCore Technologies for CENELEC EN 50128:2011
Safe and Secure Software Updated for SPARK (Russian Translation)
John Barnes