Automotive 2012

Nov 14-15, 2012 – Karlsruhe, Germany

AdaCore is a sponsor and Johannes Kanig will present the paper "Integration von Formaler Verifikation und Test"