RSSRail

Jun 28-30, 2016 – Paris, France

AdaCore is a major sponsor and is exhibiting at the event.

Yannick Moy is presenting the paper "Abstract Software Specifications and Authentic Proof of Refinement."