004
Б73	Богдан, І. В.     Методи та інструментальні засоби верифікації моделей об'єктно-орієнтованих програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технології / М-во освіти і науки України, Чернігів. нац. технолог. ун-т. — Чернігів, 2015. — 20 с.