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

Когтенков А.В. Автоматическое доказательство безопасности локальных пустых указателей. Труды Института системного программирования РАН. 2016;28(5):27-54. https://doi.org/10.15514/ISPRAS-2016-28(5)-2

For citation:

Kogtenkov A.V. Mechanically Proved Practical Local Null Safety. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(5):27-54. https://doi.org/10.15514/ISPRAS-2016-28(5)-2