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