| |
Кузьмин, Е.
Моделирование, спецификация и верификация "автономных" программ [Текст] / Е. Кузьмин, В. Соколов
// Программирование. – 2008. – № 1. – 38-60.
Статья посвящена описанию, спецификации и верификации моделей программ, построенных на основе автоматного подхода к программированию |
