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