Например, Бобцов

Верификация в исследовательских, учебных и промышленных системах

Аннотация:

Рассматривается метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.

Ключевые слова:

Статьи в номере