Шарыкин РЕ. Применение формальных методов при проектировании системы одного окна. Журнал Белорусского государственного университета. Математика. Информатика. 2021;(1):79-90. doi:10.33581/2520-6508-2021-1-79-90