Sharykin, R. E. .; Kourbatski, A. N. . Application of Formal Methods in the Design of a Collaborative Virus Defense System. Журнал Белорусского государственного университета. Математика. Информатика 2020, No. 1, 59-69. https://doi.org/10.33581/2520-6508-2020-1-59-69.