SHARYKIN, Raman E.; KOURBATSKI, Alexander N. Application of formal methods in the design of a collaborative virus defense system. Journal of the Belarusian State University. Mathematics and Informatics, [S. l.], n. 1, p. 59–69, 2020. DOI: 10.33581/2520-6508-2020-1-59-69. Disponível em: https://journals.bsu.by/index.php/mathematics/article/view/1102. Acesso em: 19 jul. 2026.