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