Верификация диаграмм по методу Model Checking в QReal [2015]

Автор: Копытов Дмитрий Сергеевич

Руководитель: ?

Направление: Программная инженерия (бакалавриат)

К архиву практик и ВКР