Software Fault Prevention, Verification, and Validation
2025
Agile-SOFL
2024
Structured Object-Oriented Formal Language and Method
2023
Structured Object-Oriented Formal Language and Method
2020
Structured Object-Oriented Formal Language and Method
2019
Structured Object-Oriented Formal Language and Method
2018