Embedded World

Feb 26-28, 2013 – N├╝rnberg, Germany

AdaCore is exhibiting at this event- hall 4, booth # 544f . Johannes Kanig will give a talk entitled "Integrating Formal Program Verification with Testing"