Release Summary

AdaCore announces the publication of a free booklet, co-authored by Thales, that explains how to exploit SPARK/Ada technology to achieve high levels of software assurance