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]
Official URL: https://doi.org/10.1007/978-3-319-25942-0_16
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 |
Options (only for editors)
![]() |
Show editorial Details |