@article{BGUMI_2021_1_a6,
     author = {R. E. Sharykin},
     title = {Application of formal methods in the design of a single window system},
     journal = {Journal of the Belarusian State University. Mathematics and Informatics},
     pages = {79--90},
     publisher = {mathdoc},
     volume = {1},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/BGUMI_2021_1_a6/}
}