де Карвальо Даниэль

Публикации в базе данных Math-Net.Ru

1. Jolie Static Type Checker: a prototype
   
   Модел. и анализ информ. систем, 24:6 (2017),  704–717