Structured Object-Oriented Formal Language and Method More Books by Shaoying Liu, Zhenhua Duan & Ai Liu
Software Fault Prevention, Verification, and Validation
2025
Agile-SOFL
2024
Structured Object-Oriented Formal Language and Method
2020
Structured Object-Oriented Formal Language and Method
2019
Structured Object-Oriented Formal Language and Method
2018
Structured Object-Oriented Formal Language and Method
2017
Formal Methods and Software Engineering
2016
Structured Object-Oriented Formal Language and Method
2016
Structured Object-Oriented Formal Language and Method
2015
Structured Object-Oriented Formal Language and Method
2014
Formal Methods and Software Engineering
2008