Хаберланд Рене.Логический язык программирования как инструмент спецификации и верификации динамической памяти : специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Хаберланд Рене, 2020. - 16 с. - Текст : непосредственный.