Software Fault Prevention, Verification, and Validation More Books by Shaoying Liu
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
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