Presented by Raphaël Amiard, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/pagecontent/presentations/TechDaysUS2018-2-1-2-Amiard- AdaSPARK_Community.pptx
Presented by Raphaël Amiard, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/pagecontent/presentations/TechDaysUS2018-2-1-2-Amiard- AdaSPARK_Community.pptx
Presented by Raphaël Amiard, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/pagecontent/presentations/TechDaysUS2018-2-1-2-Amiard- AdaSPARK_Community.pptx