


default search action
International Workshop on Structures Object-Oriented Formal Language and Method (SOFL+MSVL)
International Workshop on Structured Object-Oriented Formal Language and Method (SOFL)
11th SOFL+MSVL 2022: Madrid, Spain
- Shaoying Liu, Zhenhua Duan, Ai Liu

:
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13854, Springer 2023, ISBN 978-3-031-29475-4 [contents]
10th SOFL+MSVL 2020: Singapore
- Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8 [contents]
9th SOFL+MSVL 2019: Shenzhen, China
- Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents]
8th SOFL+MSVL 2018: Gold Coast, QLD, Australia
- Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:

Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5 [contents]
7th SOFL+MSVL 2017: Xi'an, China
- Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10795, Springer 2018, ISBN 978-3-319-90103-9 [contents]
6th SOFL+MSVL 2016: Tokyo, Japan
- Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:

Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4 [contents]
5th SOFL+MSVL 2015: Paris, France
- Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9559, Springer 2016, ISBN 978-3-319-31219-4 [contents]
4th SOFL+MSVL 2014: Luxembourg
- Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7 [contents]
3rd SOFL+MSVL 2013: Queenstown, New Zealand
- Shaoying Liu, Zhenhua Duan:

Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8332, Springer 2014, ISBN 978-3-319-04914-4 [contents]
2nd SOFL 2012: Kyoto, Japan
- Shaoying Liu:

Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7787, Springer 2013, ISBN 978-3-642-39276-4 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














