← Вернуться

Мандрыкин М.У.

Читать

Моделирование памяти Cu-программ для инструментов статической верификации на основе SMT-решателей

О произведении

Автор:
Заглавие:
Моделирование памяти Cu-программ для инструментов статической верификации на основе SMT-решателей
Ответственность:
Мандрыкин Михаил Усамович; Место защиты: Ин-т систем. программирования
Место издания:
Москва
Год издания:
Количество страниц:
23 с.
ББК:
З973.233-018.2,0
Библиотека:
Российская государственная библиотека (РГБ)

Похожие