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