Шарыкин РЕ. Применение формальных методов при проектировании системы одного окна. Журнал Белорусского государственного университета. Математика. Информатика [Интернет]. 12 апреля 2021 [процитировано 5 ноября 2024];1:79-0. доступно по: https://journals.bsu.by/index.php/mathematics/article/view/3525