Wasser, Nathan
Hrsg.: Li, Xuandong ; Liu, Zhiming ; Yi, Wang (2015)
Generating Specifications for Recursive Methods by Abstracting Program States.
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_16
Konferenzveröffentlichung, Bibliographie

Willför, Stefan ; Alén, Raimo ; Dam, Jan van ; Liu, Zhiming ; Tähtinen, Miia
Hrsg.: Fardim, Pedro (2011)
Raw materials.
In: Chemical Pulping. Part 1. Fibre Chemistry and Technology
Buchkapitel, Bibliographie

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Hrsg.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Konferenzveröffentlichung, Bibliographie