Макиша Е.В. Верификация информационных моделей строительных объектов на основе языка моделирования правил : специальность 05.13.12 - Системы автоматизации проектирования (строительство): автореферат диссертации на соискание ученой степени кандидата технических наук / Е. В. Макиша, 2019. - 24 с. - Текст : непосредственный.