|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Complete decision procedure for the theory of bounded pointer arithmetic based on quantifier instantiation and SMTстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 8 апреля 2022 г.
- Авторы: Sadykov Rafael Faritovich, Mandrykin Mikhail Usamovich
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 33
- Номер: 4
- Год издания: 2021
- Первая страница: 177
- Последняя страница: 194
- DOI: 10.15514/ispras-2021-33(4)-13
- Добавил в систему: Садыков Рафаэль Фаритович