Sharykin RE, Kourbatski AN. Application of formal methods in the design of a collaborative virus defense system. Журнал Белорусского государственного университета. Математика. Информатика [Internet]. 2020 Mar. 29 [cited 2026 Jul. 19];(1):59-6. Available from: https://journals.bsu.by/index.php/mathematics/article/view/1102