Wasser, Nathan
Li, Xuandong and Liu, Zhiming and Yi, Wang (eds.) (2015):
Generating Specifications for Recursive Methods by Abstracting Program States.
Springer, In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, In: Lecture Notes in Computer Science, 9409, DOI: 10.1007/978-3-319-25942-0₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-25942-0_16],
[Conference or Workshop Item]

Willför, Stefan and Alén, Raimo and van Dam, Jan and Liu, Zhiming and Tähtinen, Miia
Fardim, Pedro (ed.) (2011):
Raw materials.
In: Chemical Pulping. Part 1. Fibre Chemistry and Technology, Helsinki, Paperi ja Puu Oy, pp. 12-186, [Book Section]

Abdulla, Parosh Aziz and Atto, Muhsin and Cederberg, Jonathan and Ji, Ran
Liu, Zhiming and Ravn, Anders (eds.) (2009):
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, In: LNCS, 5799, [Conference or Workshop Item]