Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu, Jim Woodcock, Huibiao ZhuHäftad, 2013566 kr
Unifying Theories of Programming and Formal Engineering MethodsHuibiao Zhu, Jim Woodcock, Zhiming Liu E-bok2013732 kr
Formal Methods and Hybrid Real-Time SystemsCliff B. Jones, Zhiming Liu, Jim WoodcockHäftad, 2007566 kr
Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu, Jim Woodcock, Huibiao ZhuHäftad, 2013566 kr