IX Международная студенческая научная конференция Студенческий научный форум - 2017
Обсуждение работы ИССЛЕДОВАНИЕ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ КОРРЕКТНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ КОНТРАКТНОГО ПРОГРАММИРОВАНИЯ
Демидов А.А. 1, Лясин Д.Н. 1
1Волжский политехнический институт (филиал) ВолгГТУ
Обсуждение работ закрыто!