Мелентьев Артём Алексеевич

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

1. Интеграция семантических верификаторов в компиляторы языка Java
   
   Модел. и анализ информ. систем, 17:4 (2010),  70–77