TU Darmstadt / ULB / TUbiblio

Generating Specifications for Recursive Methods by Abstracting Program States

Wasser, Nathan Li, Xuandong and Liu, Zhiming and 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]

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Li, Xuandong and Liu, Zhiming and Yi, Wang
Creators: Wasser, Nathan
Title: Generating Specifications for Recursive Methods by Abstracting Program States
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 9409
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Date Deposited: 27 Apr 2018 11:02
DOI: 10.1007/978-3-319-25942-0₁₆
Official URL: https://doi.org/10.1007/978-3-319-25942-0_16
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details