Персоналии: Морозов Сергей Антонович

Персоналии

RUS ENG

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

Морозов Сергей Антонович

	Публикации в базе данных Math-Net.Ru	Цитирования
	2023
1.	S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Труды ИСП РАН, 35:3 (2023), 91–108
	2022
2.	А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62	1

Организации

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