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.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: Proceedings of the 1st and 2nd Vampire Workshops, In: EPiC Series in Computing, [Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...],
[Conference or Workshop Item]

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: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 14 Apr 2016 06:21
Official URL: http://easychair.org/publications/paper/Using_Vampire_in_Sou...
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item