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