Sharykin RE. Application of formal methods in the design of a single window system. Журнал Белорусского государственного университета. Математика. Информатика [Internet]. 2021 Apr. 12 [cited 2026 Jul. 18];(1):79-90. Available from: https://journals.bsu.by/index.php/mathematics/article/view/3525