SPARK и Ada делают беспилотники - проект AdaCore с AFRL.

SPARK и Ada делают беспилотники - Научно-исследовательский проект AdaCore с AFRL. Научно-исследовательский проект AdaCore в сотрудничестве с Исследовательской лабораторией ВВС. Представлен Тони Айелло на AdaCore Tech Days в Бостоне, 2019.