https://www.aviationtoday.com/2017/11/01/thales-develops-verifies-autocode-generator-using-adacore-tool/ The Pulse of Avionics Technology Fri, 03 Nov 2017 13:14:20 +0000 hourly 1