Сафина Лариса

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

1. Jolie Static Type Checker: a prototype
   
   Модел. и анализ информ. систем, 24:6 (2017),  704–717
2. Refinement types in jolie
   
   Труды ИСП РАН, 28:2 (2016),  33–44