Вы здесь
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2022
Ключевые слова:
Стр.:
С.37-53
Библиография:
Библиогр.: c.52-53
Источник:
Номер:
5
Карточка:
Непомнящий В. А., Кондратьев Д. А..
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов// Программирование-2022, №5.-С.37-53
Библиогр.: c.52-53