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

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

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