| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... Notes in Computer Science , Band 6447) | 978-3-642-16900-7 | 2010 | Jin Song Dong |
| Service-Oriented Computing - ICSOC Workshops 2012 | 978-3-642-37803-4 | 2013 | Aditya Ghose · Qi Yu · Alex Delis · Quan Z. Sheng · Olivier Perrin · Jianmin Wang · Yan Wang |
| Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings | 978-3-642-39717-2 | 2013 | Zhiming Liu · Jim Woodcock |
| Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | 978-3-642-39697-7 | 2013 | Zhiming Liu · Jim Woodcock |
| Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers | 978-3-319-52227-2 | 2017 | Jonathan P. Bowen |
| Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Notes in Computer Science, Band 8050) | 978-3-642-39720-2 | 2013 | Zhiming Liu · Jim Woodcock |