Завантаження vestnik_KhPI_2019_19_Zhukov_Formalizatsiya.pdf...