TU Darmstadt / ULB / TUbiblio

24 Challenges in Deductive Software Verification

Hähnle, Reiner and Huisman, Marieke Reger, Giles and Traytel, Dmitriy (eds.) (2017):
24 Challenges in Deductive Software Verification.
In: EPiC Series in Computing, 51, pp. 37-41, EasyChair, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2017
Editors: Reger, Giles and Traytel, Dmitriy
Creators: Hähnle, Reiner and Huisman, Marieke
Title: 24 Challenges in Deductive Software Verification
Language: German
Series Name: EPiC Series in Computing
Volume: 51
Publisher: EasyChair
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017
Date Deposited: 27 Apr 2018 09:56
Official URL: http://www.easychair.org/publications/paper/kdZ7
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