1
Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying...”

Full text 
Favorites
Saved in:
2
Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying...”

Full text 
Favorites
Saved in:
3
Formal Methods and Software Engineering [E-Book] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Other Personal Name(s): “...Liu, Shaoying...”

Full text 
Favorites
Saved in:
4
Structured Object-Oriented Formal Language and Method [E-Book] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying...”

Full text 
Favorites
Saved in:
5
Structured Object-Oriented Formal Language and Method [E-Book] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying....”

Full text 
Favorites
Saved in:
6
Structured Object-Oriented Formal Language and Method [E-Book] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying....”

Full text 
Favorites
Saved in:
7
Structured Object-Oriented Formal Language and Method [E-Book] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Other Personal Name(s): “...Liu, Shaoying....”

Full text 
Favorites
Saved in:

Narrow Search Results