| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... Notes in Computer Science, Band 10610) | 978-3-319-68689-9 | 2017 | Luke Ong |
| Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... Notes in Computer Science, Band 8979) | 978-3-319-17403-7 | 2015 | Shaoying Liu |
| Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected ... Notes in Computer Science, Band 9559) | 978-3-319-31219-4 | 2016 | " |
| Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected ... Notes in Computer Science, Band 10189) | 978-3-319-57707-4 | 2017 | Shaoying Liu · Cong Tian · Fumiko Nagoya |
| Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Notes in Computer Science, Band 10795) | 978-3-319-90103-9 | 2018 | Cong Tian · Fumiko Nagoya · Shaoying Liu |
| Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Notes in Computer Science, Band 8332) | 978-3-319-04914-4 | 2014 | Shaoying Liu |
| Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings | 978-3-540-79227-7 | 2010 | Manindra Agrawal · Dingzhu Du · Angsheng Li |