Богдан, И. В. (2018) «ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ», Технічні науки та технології, (2(8), с. 110–116. доступний у: http://tst.stu.cn.ua/article/view/113051 (дата звернення: 25Квітень2024).