Shaoying Liu
Books
- Formal Methods and Software Engineering
- Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing
- Cao shu yi bu tong xing da zi dian
- Min zu chuan tong ti yu xue =
- Agile-SOFL
- Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
- Software Fault Prevention, Verification, and Validation
- Formal Engineering for Industrial Software Development
- Structured Object-Oriented Formal Language and Method
Author data: Open Library