Шарыкин РЕ, Курбацкий АН. Применение формальных методов при проектировании коллаборационной системы противовирусной защиты. Журнал Белорусского государственного университета. Математика. Информатика [Интернет]. 29 март 2020 г. [цитируется по 19 июль 2026 г.];(1):59-6. доступно на: https://journals.bsu.by/index.php/mathematics/article/view/1102