ШАРЫКИН, Роман Евгеньевич; КУРБАЦКИЙ, Александр Николаевич. Применение формальных методов при проектировании коллаборационной системы противовирусной защиты. Журнал Белорусского государственного университета. Математика. Информатика, [S. l.], n. 1, p. 59–69, 2020. DOI: 10.33581/2520-6508-2020-1-59-69. Disponível em: https://journals.bsu.by/index.php/mathematics/article/view/1102. Acesso em: 18 июл. 2026.