Sharykin, R.E. and 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), pp. 59–69. doi:10.33581/2520-6508-2020-1-59-69.