Structured Object-Oriented Formal Language and Method
٢٠٢٣
Structured Object-Oriented Formal Language and Method
٢٠٢٠
Computing and Combinatorics
٢٠١٩
Structured Object-Oriented Formal Language and Method
٢٠١٩
Structured Object-Oriented Formal Language and Method
٢٠١٨
Formal Methods and Software Engineering
٢٠١٧