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