Вы здесь
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2013
Ключевые слова:
Стр.:
С.52-63
Библиография:
Библиогр.: c.63
Номер:
6
Том:
20
Карточка:
Б2.23.
Марьясов И. В., Непомнящий В. А., Промский А. В., Кондратьев Д. А..
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики// Моделирование и анализ информационных систем-2013, №6.-Vol. 20.-С.52-63
Библиогр.: c.63
Таблица в старой библиотеке:
ISI3 310