SAE Aerotech 2013

Sep 24-26, 2013 – Montreal, QC, Canada

Tucker Taft will be giving a talk entitled, "Integrating Test and Proof in the Next Generation Verifiable SPARK Language, Using Contract-Based Programming Features and SMT Solvers."