Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:5 (11)
Скачать PDF0 Кбайт
Рассматривается метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.