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