Журналы
Разделы книг
Статьи по ключевому слову automaton synthesis by informal assignment
В.А. Райхлин1
1 КНИТУ им. А.Н. Туполева (г. Казань, Россия)