Полноэкранный режим

Для цитирования: Лямин А.В. Метод формальной верификации программ для виртуальной лаборатории «Машина Поста». Информационно-управляющие системы. 2018;93(2):104-114. https://doi.org/10.15217/issnl684-8853.2018.2.104

For citation: Lyamin A.V. Method of Formal Program Verification for Post Machine Virtua l Laboratory. Information and Control Systems. 2018;93(2):104-114. (In Russ.) https://doi.org/10.15217/issnl684-8853.2018.2.104

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


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


ISSN 1684-8853 (Print)
ISSN 2541-8610 (Online)