Сборник трудов II Всероссийской научно-технической конференции "Состояние и перспективы развития современной науки по направлению "ИТ-технологии"сборник

Статьи, опубликованные в сборнике

---

• • 2023 Об автоматической генерации Си-кода на основе Event-B спецификаций
  • Зеленецкая Д.Н., Пучков Д.В., Девянин П.Н.
  • в сборнике Сборник трудов II Всероссийской научно-технической конференции "Состояние и перспективы развития современной науки по направлению "ИТ-технологии", том 2, с. 195-200