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]
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: |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum