Сравнение способов декомпозиции спецификаций на Event-B.

Сравнение способов декомпозиции спецификаций на Event-B.

Авторы

Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В.

Издание

Программирование, 42(4):17-26, 2016

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

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

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