Software Fault Prevention, Verification, and Validation
٢٠٢٥
Agile-SOFL
٢٠٢٤
Structured Object-Oriented Formal Language and Method
٢٠٢٣
Structured Object-Oriented Formal Language and Method
٢٠٢٠
Structured Object-Oriented Formal Language and Method
٢٠١٩
Structured Object-Oriented Formal Language and Method
٢٠١٨