Theories of Programming and Formal Methods

MLA

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

APA

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

Chicago

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