AdaCore GAP - Обновленная информация о технологиях AdaCore для академических кругов

Выступление Dr. Yannick Moy (Янник Мой), AdaCore Эта речь была частью семинара GNAT Academic Program (GAP) 2023 года. Программа GNAT Academic Program представляет собой образовательную инициативу, которая предоставляет ресурсы и поддержку академическим учреждениям, позволяя преподавателям и студентам изучать и использовать языки программирования Ada и SPARK. Чтобы узнать больше о GAP, посетите сайт по адресу: https://www.adacore.com/academia