TU Darmstadt / ULB / TUbiblio

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and Voronkov, Andrei (eds.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, pp. 33-45, [Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...],
[Book Section]

Item Type: Book Section
Erschienen: 2017
Editors: Kovacs, Laura and Voronkov, Andrei
Creators: Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Title: Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
Language: English
Title of Book: Vampire 2016. Proceedings of the 3rd Vampire Workshop
Series Name: EPiC Series in Computing
Volume: 44
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 18 Apr 2017 08:52
Official URL: http://easychair.org/publications/paper/Automating_Proof_Ste...
Projects: ERC 321217
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item