Journals
Books
Articles by keyword translation mechanism
Analysis of formal models transformation
S. V. Afanasiev