%0 Journal Article
%A R. E. Sharykin
%T Application of formal methods in the design of a single window system
%J Journal of the Belarusian State University. Mathematics and Informatics
%D 2021
%P 79-90
%V 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BGUMI_2021_1_a6/
%G ru
%F BGUMI_2021_1_a6