Using Vampire in Soundness Proofs of Type Systems.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Sylvia Grewe
-
Sebastian Erdweg
-
Mira Mezini
- Editoren
-
Laura Kovács
-
Andrei Voronkov
- Zeitschrift
- Vampire Workshop
- Paginierung
- 33 - 51
- Datum der Veröffentlichung
- 2015
- Herausgeber
- EasyChair
- Herausgeber URL
- https://easychair.org/publications/volume/Vampire_2014_and_2015
- Titel
- Using Vampire in Soundness Proofs of Type Systems.
- Ausgabe der Zeitschrift
- 38
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-