Structured Object-Oriented Formal Language and Method
2023
Structured Object-Oriented Formal Language and Method
2020
Computing and Combinatorics
2019
Structured Object-Oriented Formal Language and Method
2019
Structured Object-Oriented Formal Language and Method
2018
Formal Methods and Software Engineering
2017