| Item Type: |
Conference or Workshop Item
|
| Erschienen: |
2017 |
| Editors: |
Reger, Giles ; Traytel, Dmitriy |
| Creators: |
Hähnle, Reiner ; Huisman, Marieke |
| Type of entry: |
Bibliographie |
| Title: |
24 Challenges in Deductive Software Verification |
| Language: |
German |
| Date: |
2017 |
| Publisher: |
EasyChair |
| Series: |
EPiC Series in Computing |
| Series Volume: |
51 |
| Event Title: |
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 |
| URL / URN: |
http://www.easychair.org/publications/paper/kdZ7 |
| Divisions: |
20 Department of Computer Science > Software Engineering
20 Department of Computer Science |
| Date Deposited: |
27 Apr 2018 09:56 |
| Last Modified: |
27 Apr 2018 09:56 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum