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