Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Sylvia Grewe
-
Sebastian Erdweg
-
Mira Mezini
- Editoren
-
Laura Kovács
-
Andrei Voronkov
- Zeitschrift
- Vampire@IJCAR
- Paginierung
- 33 - 45
- Datum der Veröffentlichung
- 2016
- Herausgeber
- EasyChair
- Herausgeber URL
- https://easychair.org/publications/volume/Vampire_2016
- Titel
- Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
- Ausgabe der Zeitschrift
- 44
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-