ISSRE 2014

Nov 3-6, 2014 – Naples, Italy

Quentin Ochem will present the paper "Programming with Contracts - Ada 2012 Tool-Supported Industrial Insights". AdaCore is also a major sponsor of this event.