Shaoying Liu
Shaoying Liu
7 books in the database
Books
Formal Engineering for Industrial Software DevelopmentShaoying Liu
Formal Engineering for Industrial Software Development
Shaoying Liu · 2004
Structured Object-Oriented Formal Language and MethodShaoying Liu
Structured Object-Oriented Formal Language and Method
Shaoying Liu · 2016
Software Fault Prevention, Verification, and ValidationShaoying Liu
Software Fault Prevention, Verification, and Validation
Shaoying Liu · 2025
Agile-SOFLShaoying Liu
Agile-SOFL
Shaoying Liu · 2024
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xingShaoying Liu
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing
Shaoying Liu · 2011
Min zu chuan tong ti yu xue =Shaoying Liu
Min zu chuan tong ti yu xue =
Shaoying Liu · 2011
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xingShaoying Liu
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
Shaoying Liu · 2007
Co-authored books and collections
Books that list Shaoying Liu among their authors but not as the lead author: co-written works, collections and compilations.
