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 .
[ Konferenzveröffentlichung] , (2016)

Offizielle URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Typ des Eintrags: Konferenzveröffentlichung
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): 20 Fachbereich Informatik > Softwaretechnik
20 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