Персоналии: Китаев Константин Николаевич

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Китаев Константин Николаевич

	Публикации в базе данных Math-Net.Ru	Цитирования
	2023
1.	Р. А. Бучацкий, Я. А. Чуркин, К. А. Чибисов, М. В. Пантилимонов, Е. В. Долгодворов, А. В. Вязовцев, А. Г. Волохов, В. В. Трунов, Г. О. Миракян, К. Н. Китаев, А. А. Белеванцев, “Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang”, Труды ИСП РАН, 35:5 (2023), 169–192

Организации

Обратная связь: