Стоцький, І. В., Голуб, О. О., Налісний, Г. І., & Костенко, В. П. (2026). Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики. Академічні візії, (53). https://doi.org/10.66556/2786-586X.53.stotskyi-i