Shaoying Liu profile picture

Shaoying Liu

Is this your author profile? Create an account to customize it!

Stand Alone

Structured Objectoriented Formal Language And Method
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
Formal Engineering for Industrial Software Development
Software Fault Prevention, Verification, and Validation
Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Formal Engineering for Industrial Software Development Using the SOFL Method
Agile-SOFL Agile Formal Engineering Method
Structured Object-Oriented Formal Language and Method Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
First IEEE International Conference Conference [sic] on Formal Engineering Methods: Proceedings, Hiroshima, Japan, November 12-14, 1997