Blättern nach Person
 | Ebene hoch |
Springe zu: 2017
Anzahl der Einträge: 1.
2017
Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Hrsg.: Kovacs, Laura ; Voronkov, Andrei (2017)
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Buchkapitel, Bibliographie
Drucken
Impressum