SEFM 2016

Jul 4-8, 2016 – Vienna, Austria

AdaCore is presenting the paper "Counterexamples from Proof Failures in SPARK."