Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


ГЛАДЫШЕВ И.В., КАМКИН А.С., КОЦЫНЯК А.М., ПУТРО П.А., ХОРОШИЛОВ А.В. Архитектура системы дедуктивной верификации машинного кода. Труды Института системного программирования РАН. 2020;32(3):7-19. https://doi.org/10.15514/ISPRAS-2020-32(3)-1

For citation:


GLADYSHEV I.V., KAMKIN A.S., KOTSYNYAK A.M., PUTRO P.A., KHOROSHILOV A.V. Architecture of a Machine Code Deductive Verification System. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(3):7-19. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(3)-1

Просмотров: 97


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)