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), pp. 79–90. doi:10.33581/2520-6508-2021-1-79-90.