S
Shaoying Liu
9 works on record
Works

Formal Engineering for Industrial Software Development

Formal Methods and Software Engineering

Structured Object-Oriented Formal Language and Method

Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
Min zu chuan tong ti yu xue =
Min zu chuan tong ti yu xue =
Cao shu yi bu tong xing da zi dian
Cao shu yi bu tong xing da zi dian
Agile-SOFL
Agile-SOFL
Software Fault Prevention, Verification, and Validation
Software Fault Prevention, Verification, and Validation