Liu, Z., Woodcock, J., & Zhu, H. (2013). Theoretical Aspects of Computing ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationLiu, Zhiming., Jim Woodcock, and Huibiao Zhu. Theoretical Aspects of Computing ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA CitationLiu, Zhiming., Jim Woodcock, and Huibiao Zhu. Theoretical Aspects of Computing ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.