TU Darmstadt / ULB / TUbiblio

Using Vampire in Soundness Proofs of Type Systems

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovács, Laura and 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 .
[Conference or Workshop Item] , (2016)

Official URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Kovács, Laura and Voronkov, Andrei
Creators: Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Title: Using Vampire in Soundness Proofs of Type Systems
Language: English
Title of Book: Proceedings of the 1st and 2nd Vampire Workshops
Series Name: EPiC Series in Computing
Divisions: Department of Computer Science > Software Technology
Department of Computer Science
Date Deposited: 14 Apr 2016 06:21
Official URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Export:

Optionen (nur für Redakteure)

View Item View Item