STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Shaoying Liu | lit.salon
Shaoying Liu
No bio available.
Add one in Open Library.
Books by Shaoying Liu (50 max)
+ shelf
+ list
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
2013
Shaoying Liu, Zhenhua Duan
+ shelf
+ list
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
2008
Kazuhiro Ogata, Mark Lawford, Shaoying Liu
+ shelf
+ list
Cao shu yi bu tong xing da zi dian
1998
Shaoying Liu, Peng Shen
+ shelf
+ list
Formal Engineering for Industrial Software Development Using the SOFL Method
2004
Shaoying Liu
+ shelf
+ list
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing
2007
Shaoying Liu, Xiaoping Zhang, Zongyong Zeng
+ shelf
+ list
Min zu chuan tong ti yu xue: Minzu chuantong tiyuxue
2011
Shaoying Liu
+ shelf
+ list
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing: Xizang Gongbu Ziran Baohuqu shengwu duoyangxing
2011
Shaoying Liu
+ shelf
+ list
Agile-SOFL: Agile Formal Engineering Method
2024
Shaoying Liu
+ shelf
+ list
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
2025
Shaoying Liu
