Munerman, Victor, & Daniel Victorovich Munerman.
" Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов." <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], 19.4 (2023): n. pag. Веб. 30 Jun. 2024