НЕСКОРОДЕВА, Т. В. МЕТОДИКА ФОРМАЛИЗАЦИИ ЗАДАЧ СИСТЕМЫ АУДИТА ПЕРВОГО УРОВНЯ. Технічні науки та технології, [S. l.], n. 2(16), p. 086–094, 2019. Disponível em: http://tst.stu.cn.ua/article/view/182210. Acesso em: 11 квіт. 2025.