Shaoying Liu
5 published titles
Formal engineering for industrial software development using the SOFL method
1 edition
- ISBN: 3540206027
- Springer
- 2004
- Details
Structured object-oriented formal language and method : second international workshop, SOFL 2012, Kyoto, Japan, November 13, 2012, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642392764
- Springer
- 2013
- Details
Structured object-oriented formal language and method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319049144
- Springer
- 2014
- Details
Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319174037
- Springer
- 2015
- Details
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319312194
- Springer
- 2016
- Details
