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.
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]

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:

Optionen (nur für Redakteure)

View Item View Item