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

Ефремов Д.В., Мандрыкин М.У. Формальная верификация библиотечных функций ядра Linux. Труды Института системного программирования РАН. 2017;29(6):49-76. https://doi.org/10.15514/ISPRAS-2017-29(6)-3

For citation:

Efremov D.V., Mandrykin M.U. Formal Verification of Linux Kernel Library Functions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(6):49-76. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(6)-3