Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
de Carvalho, Daniel
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:94
Abstract pages:168
Full texts:408
References:31
PhD
E-mail:

https://www.mathnet.ru/eng/person134063
List of publications on Google Scholar
List of publications on ZentralBlatt
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  mathnet  elib 1

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024