Liu, Shaoying.

Overview

Works:	1 works in 9 publications in 1 languages

Titles

Agile-SOFL = agile formal engineering method / by: Liu, Shaoying.; SpringerLink (Online service) (Electronic resources)

Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: Liu, Shaoying.; SpringerLink (Online service); Duan, Zhenhua. (Electronic resources)

Structured object-oriented formal language and method = 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); SOFL+MSVL (Workshop) (2022 :); Liu, Ai. (Electronic resources)

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: Liu, Shaoying.; SpringerLink (Online service); SOFL+MSVL (Workshop) (2016 :) (Electronic resources)

Software fault prevention, verification, and validation = first International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024 : proceedings / by: Liu, Shaoying.; SpringerLink (Online service); International Symposium on Software Fault Prevention, Verification, and Validation (2024 :) (Electronic resources)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: Liu, Shaoying.; SpringerLink (Online service); Duan, Zhenhua. (Electronic resources)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: Liu, Shaoying.; Maibaum, Tom.; Araki, Keijiro.; SpringerLink (Online service) (Electronic resources)

Structured object-oriented formal language and method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers / by: Liu, Shaoying.; SpringerLink (Online service); Duan, Zhenhua. (Electronic resources)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: International Conference on Formal Engineering Methods (2016 :); Ogata, Kazuhiro.; Lawford, Mark.; Liu, Shaoying.; SpringerLink (Online service) (Electronic resources)

Subjects