Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Hähnle, Reiner ; Huisman, Marieke
Hrsg.: Reger, Giles ; Traytel, Dmitriy (2017)
24 Challenges in Deductive Software Verification.
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum