Костюк Ю. Л. «Эффективная трансляция для LL(1)-грамматики на примере языка программирования» // Прикладная дискретная математика 2017. №37 C.90-99
Веретнов С. О. , Непомнящий В. А. , Бодин Е. В. «Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL» // Вестник ТГУ. УВТиИ 2020. №53 C.118-126
Вы можете добавить статью