Персоналии
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
Статистика просмотров:
Эта страница:
94
Страницы публикаций:
166
Полные тексты:
408
Списки литературы:
31
PhD
E-mail:
email
https://www.mathnet.ru/rus/person134063
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0003-1473-8551
Публикации в базе данных
Math-Net.Ru
Цитирования
2017
1.
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”,
Модел. и анализ информ. систем
,
24
:6 (2017),
704–717
1
Организации
Университет Иннополис
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024