High Confidence Software and Systems Conference

May 6-9, 2014 – Annapolis, Maryland

Yannick Moy is giving a talk - SPARK 2014: Formal Program Verification For All.