Стоцький ІВ, Голуб ОО, Налісний ГІ, Костенко ВП. Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики. AV [інтернет]. 30, Березень 2026 [цит. за 26, Серпень 2026];(53). доступний у: https://www.academy-vision.org/index.php/av/article/view/3337