Scopus ID
56584249100
Elibrary SPIN
Elibrary ID
567249
Researcher ID
M-9730-2016
Scholar ID
FbjRwyUAAAAJ

Области исследований

Модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования.