Sharykin, R.E. 2021. Application of formal methods in the design of a single window system. Journal of the Belarusian State University. Mathematics and Informatics. 1 (Apr. 2021), 79–90. DOI:https://doi.org/10.33581/2520-6508-2021-1-79-90.