|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Метод переиспользования абстракций в статическом анализе на основе глобального множества достижимых состоянийтезисы доклада
- Авторы: Горемыкин А.В., Бородин А.Е., Белеванцев А.А.
- Сборник: Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики»
- Серия: Секция Вычислительной математики и кибернетики
- Тезисы
- Год издания: 2020
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 59
- Последняя страница: 60
- Добавил в систему: Корухова Людмила Сергеевна