SHARYKIN, Raman E. Application of formal methods in the design of a single window system. Journal of the Belarusian State University. Mathematics and Informatics, [S. l.], n. 1, p. 79–90, 2021. DOI: 10.33581/2520-6508-2021-1-79-90. Disponível em: https://journals.bsu.by/index.php/mathematics/article/view/3525. Acesso em: 18 jul. 2026.