Абунегм Абдельрахман Али Хассанеин Россия, Иннополис Область научных интересов верификация программ языки программирования Место работы и должность Университет Иннополис — студент магистратуры Адрес электронной почты a.abounegm@innopolis.university
Абунегм А.., Кудасов Н.Д. Реализация языкового сервера для интерактивного доказателя теорем Rzk // Системная информатика. — 2023. — № 22. — С. 45-50
