Anton Romanovich Gnatenko Russian Federation, Moscow Research area program verification programming languages automata theory temporal logics Affiliation & position National Resarch University Higher School of Economics — undergraduate student E-mail gnatenko.cmc@gmail.com
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // System Informatics. — 2020. — # 17. — P. 21-32
