Богдан ИВ. ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ. ТНТ [інтернет]. 26, Лютий 2018 [цит. за 14, Березень 2026];(2(8):110-6. доступний у: https://tst.stu.cn.ua/article/view/113051