Sharykin, R. E. ., & Kourbatski, A. N. . (2020). Application of formal methods in the design of a collaborative virus defense system. Journal of the Belarusian State University. Mathematics and Informatics, 1, 59-69. https://doi.org/10.33581/2520-6508-2020-1-59-69