@article{BGUMI_2020_1_a6,
     author = {R. E. Sharykin and A. N. Kurbatskii},
     title = {Application of formal methods in the design of a collaborative virus defense system},
     journal = {Journal of the Belarusian State University. Mathematics and Informatics},
     pages = {59--69},
     publisher = {mathdoc},
     volume = {1},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/}
}