Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№3
Ожидается:
13 Сентября 2024
Ключевое слово: klee
- Применение системы KLEE для автоматизации тестирования программ на языках C/C++ Авторы статьи: Зыков А.Г., Кочетков И.В., Поляков В.И.