AdaCore Technologies for Cybersecurity — AdaCore Tech Days Boston 2018 Feb. 12, 2019

Presented by Yannick Moy, AdaCore November 14, 2018 Slides from presentation available here: https://www.adacore.com/uploads/pagecontent/presentations/TechDaysUS2018-1-4-1-Moy- CyberSecurity.pptx