Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Хазеев М.
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Статистика просмотров:
Эта страница:
63
Страницы публикаций:
144
Полные тексты:
91
Списки литературы:
30
https://www.mathnet.ru/rus/person123777
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных
Math-Net.Ru
Цитирования
2016
1.
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin, “Usability of AutoProof: a case study of software verification”,
Труды ИСП РАН
,
28
:2 (2016),
111–126
1
Организации
Университет Иннополис
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024