Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 2019)

Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 2018)

Mechanical and Electronics Engineering VI (Paperback)

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007)

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Hardcover)

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pro (Paperback)

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback)

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele (Paperback)

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007)

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee (Paperback, 2003)

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 2017)