Duan, Zhenhua.

Overview

Works:	0 works in 6 publications in 1 languages

Titles

Structured object-oriented formal language and method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: Duan, Zhenhua.; SpringerLink (Online service); SOFL+MSVL (Workshop) (2018 :) (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); Liu, Ai.; SOFL+MSVL (Workshop) (2022 :) (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.; Duan, Zhenhua.; SpringerLink (Online service) (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.; Duan, Zhenhua.; 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.; Duan, Zhenhua.; SpringerLink (Online service) (Electronic resources)

Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: Duan, Zhenhua.; SpringerLink (Online service); Ong, Luke.; International Conference on Formal Engineering Methods (2017 :) (Electronic resources)

Subjects