Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
de Carvalho, Daniel
PhD
E-mail:
email
https://www.mathnet.ru/eng/person134063
List of publications on Google Scholar
https://orcid.org/0000-0003-1473-8551
Publications in
Math-Net.Ru
Citations
2017
1.
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”,
Model. Anal. Inform. Sist.
,
24
:6 (2017),
704–717
1
Organisations
Innopolis University