Институт системного программирования им. В.П. Иванникова РАН


Практикум по дедуктивной верификации программ.

Авторы

Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В.

Издание

М.-МАКС Пресс, 2014.

Научная группа

Технологии программирования

Все публикации за 2014 год Все публикации