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.
EasyChair, In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, In: EPiC Series in Computing, 51, [Online-Edition: http://www.easychair.org/publications/paper/kdZ7],
[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:

Optionen (nur für Redakteure)

View Item View Item