Liu, Z., Woodcock, J., & Zhu, H. (2013). Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationLiu, Zhiming., Jim Woodcock, and Huibiao Zhu. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He On the Occasion of His 70th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA CitationLiu, Zhiming., Jim Woodcock, and Huibiao Zhu. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He On the Occasion of His 70th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
Warning: These citations may not always be 100% accurate.