Bowen, Jonathan P. (ed.); Zhu, Huibiao (ed.) Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. (English) Zbl 1355.68010 Lecture Notes in Computer Science 10134. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). ix, 217 p. (2017). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{J. P. Bowen} (ed.) and \textit{H. Zhu} (ed.), Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers. Cham: Springer (2017; Zbl 1355.68010) Full Text: DOI
Liu, Zhiming (ed.); Woodcock, Jim (ed.); Zhu, Huibiao (ed.) Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. (English) Zbl 1320.68021 Lecture Notes in Computer Science 8050. Berlin: Springer (ISBN 978-3-642-39720-2/pbk; 978-3-642-39721-9/ebook). xi, 283 p. (2013). MSC: 68-06 68N30 68Q60 00B25 PDFBibTeX XMLCite \textit{Z. Liu} (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures. Berlin: Springer (2013; Zbl 1320.68021) Full Text: DOI
Liu, Zhiming (ed.); Woodcock, Jim (ed.); Zhu, Huibiao (ed.) Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. (English) Zbl 1271.68048 Lecture Notes in Computer Science 8049. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). xii, 445 p. (2013). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{Z. Liu} (ed.) et al., Theoretical aspects of computing -- ICTAC 2013. 10th international colloquium, Shanghai, China, September 4--6, 2013. Proceedings. Berlin: Springer (2013; Zbl 1271.68048) Full Text: DOI
Liu, Zhiming (ed.); Woodcock, Jim (ed.); Zhu, Huibiao (ed.) Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. (English) Zbl 1269.68023 Lecture Notes in Computer Science 8051. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). xii, 413 p. (2013). MSC: 68-06 68Nxx 00B30 PDFBibTeX XMLCite \textit{Z. Liu} (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (2013; Zbl 1269.68023) Full Text: DOI