AdaCore: Build Software that Matters
AdaCore Hero Image

Test & Proof 2011

Event Details
  • []
  • June 30 - July 1, 2011
  • Zurich, Switzerland.

Claire Dross will present the paper "Correct Code Containing Containers".