Vilihura V, Gorbenko Y, Yesin V, Rassomakhin S. Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74. ФММІТ [інтернет]. 07, Липень 2021 [цит. за 09, Червень 2026];(32):70-4. доступний у: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/162