Preview

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

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

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


Костюков Ю.О., Батоев К.А., Мордвинов Д.А., Костицын М.П., Мисонижник А.В. Автоматическое доказательство корректности программ с динамической памятью. Труды Института системного программирования РАН. 2019;31(5):37-62. https://doi.org/10.15514/ISPRAS-2019-31(5)-3

For citation:


Kostyukov Yu., Batoev K., Mordvinov D., Kostitsyn M., Misonizhnik A. Automatic verification of heap-manipulating programs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(5):37-62. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(5)-3



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


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