TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

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

This list was generated on Sat Dec 14 02:00:45 2019 CET.