Certification Together 2013

May 21-23, 2013 – Toulouse, France

AdaCore is Platinum sponsor of this event. Johannes Kanig will give a talk entitled, "Integrating Formal Program Verification with Testing".