Release Summary

AdaCore publishes free handbook on DO-178C/ED-12C; shows how AdaCore qualified tools can reduce costs of certifying airborne software.