Spring-Summer 2015

  • In Memoriam: Robert B.K. Dewar, 1945-2015
  • AdaCore Tech Days in Paris and Boston
  • QGen Launched
  • AdaCore Blog Introduced
  • Ghost Code in SPARK 2014
  • Ada Course in Paris
Last Updated: 10/2/2017
Posted on: 9/16/2015