Safety-Critical Systems Symposium 2013

Feb 5-7, 2013 – Bristol, UK

AdaCore is a major sponsor of this event and will be exhibiting. Robert Dewar will present the paper "Testing and Proving: Strange bedfellows?"