Sharykin, Raman E., and Alexander N. Kourbatski. 2020. “Application of Formal Methods in the Design of a Collaborative Virus Defense System”. Journal of the Belarusian State University. Mathematics and Informatics, no. 1 (March): 59-69. https://doi.org/10.33581/2520-6508-2020-1-59-69.