Unifying Theories of Programming and Formal Engineering Methods

MLA

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao, et al. Unifying Theories of Programming and Formal Engineering Methods. Springer Berlin Heidelberg, 2013.

APA

Liu, H., Liu, Z., Woodcock, J., & Zhu, H. (2013). Unifying Theories of Programming and Formal Engineering Methods. Springer Berlin Heidelberg.

Chicago

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao, Zhiming Liu, Jim Woodcock, and Huibiao Zhu. Unifying Theories of Programming and Formal Engineering Methods. : Springer Berlin Heidelberg, 2013.