символьная верификация требований, доказательное моделирование, алгебраическое и инсерционное программирование
Основные публикации:
Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. - М. : Наука, 1988. - 294,[1] с. : ил.; 22 см.; ISBN 5-02-013777-4
