FA Sign in

Discover references

Huibiao Zhu (eds.)

Books

2 results

Cover of 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 Beginner

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

Ruzhen Dong,Johannes Faber,Wei Ke (auth.),Zhiming Liu,Jim Woodcock,Huibiao Zhu (eds.)

2013 View book

Cover of Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

English Beginner

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Jonathan P. Bowen,Huibiao Zhu (eds.)

2017 View book