Баракова Александра Николаевна

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

1. Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования
   
   Модел. и анализ информ. систем, 21:4 (2014),  5–12