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

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

Программирование. 2016. № 4. С. 17–26.

Перейти к источнику

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