TU Darmstadt / ULB / TUbiblio

Using Vampire in Soundness Proofs of Type Systems

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.) :

Using Vampire in Soundness Proofs of Type Systems.
[Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...]
In: EPiC Series in Computing .
[Konferenz- oder Workshop-Beitrag], (2016)

Offizielle URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2016
Herausgeber: Kovács, Laura ; Voronkov, Andrei
Autor(en): Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Titel: Using Vampire in Soundness Proofs of Type Systems
Sprache: Englisch
Buchtitel: Proceedings of the 1st and 2nd Vampire Workshops
Reihe: EPiC Series in Computing
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Softwaretechnik
Fachbereich Informatik
Hinterlegungsdatum: 14 Apr 2016 06:21
Offizielle URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen