Для цитирования:
ГЛАДЫШЕВ И.В., КАМКИН А.С., КОЦЫНЯК А.М., ПУТРО П.А., ХОРОШИЛОВ А.В. Архитектура системы дедуктивной верификации машинного кода. Труды Института системного программирования РАН. 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
Послать статью по эл. почте 