Journals
Books
Articles by keyword формальные модели
S. V. Afanasiev
P.S. Bushmakin, A.V. Sapozhnikov, D.Yu. Gamayunov