Вы здесь

Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2018
Стр.: 
С.31-42
Библиография: 
Библиогр.: c.40-42
Номер: 
5
Карточка: 

Б2.23.

Герасимов А.Ю..

Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах// Программирование-2018, №5.-С.31-42
Библиогр.: c.40-42