Sharykin, Raman E., and Alexander N. Kourbatski. “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 29, 2020): 59–69. Accessed July 19, 2026. https://journals.bsu.by/index.php/mathematics/article/view/1102.