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
Formal Engineering for Industrial Software Development
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 Using the SOFL Method
Formal Engineering for Industrial Software Development
Agile-SOFL Agile Formal Engineering Method
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
Agile-SOFL Agile Formal Engineering Method
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

See All