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