Шарыкин, Р.Е. и Курбацкий, А.Н. 2020. Применение формальных методов при проектировании коллаборационной системы противовирусной защиты. Журнал Белорусского государственного университета. Математика. Информатика. 1 (мар. 2020), 59–69. DOI:https://doi.org/10.33581/2520-6508-2020-1-59-69.