1
Published 2017
Springer International Publishing
... Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.  The 28 revised full papers presented...

2
Published 2018
Springer International Publishing
... Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China...

3
Published 2020
Springer International Publishing
... Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China...