2010

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

International Conference on Formal Engineering Methods (12th : 2010 : Shanghai, China)



 

2013

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

ICTAC (Colloquium) (10th : 2013 : Shanghai, China)

Heidelberg : Springer, [2013]

 

2013

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday

Berlin : Springer, 2013

 

2017

Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers

UTP (Symposium) (6th : 2016 : Reykjavik, Iceland)

Cham, Switzerland : Springer, 2017

 

2013

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

International Training School on Software Engineering (2013 : Shanghai, China)

Heidelberg : Springer, [2013]