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