СТОЦЬКИЙ, І. В.; ГОЛУБ, О. О.; НАЛІСНИЙ, Г. І.; КОСТЕНКО, В. П. Методичні засади навчання формальних моделей операційних систем у контексті теоретичної інформатики. Академічні візії, [S. l.], n. 53, 2026. DOI: 10.66556/2786-586X.53.stotskyi-i. Disponível em: https://academy-vision.org/index.php/av/article/view/3337. Acesso em: 15 лип. 2026.