1. |
R. A. Buchatskiy, Ya. A. Churkin, K. A. Chibisov, M. V. Pantilimonov, E. V. Dolgodvorov, A. V. Vyazovtsev, A. G. Volokhov, V. V. Trunov, G. H. Mirakyan, K. N. Kitaev, A. A. Belevancev, “Checking programs for compliance with MISRA C standard using the clang framework”, Proceedings of ISP RAS, 35:5 (2023), 169–192 |