Sharykin RE, Kourbatski AN. Application of formal methods in the design of a collaborative virus defense system. Журнал Белорусского государственного университета. Математика. Информатика. 2020;(1):59-69. doi:10.33581/2520-6508-2020-1-59-69