%0 Journal Article
%A R. E. Sharykin
%A A. N. Kurbatskii
%T Application of formal methods in the design of a collaborative virus defense system
%J Journal of the Belarusian State University. Mathematics and Informatics
%D 2020
%P 59-69
%V 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BGUMI_2020_1_a6/
%G ru
%F BGUMI_2020_1_a6