TU Darmstadt / ULB / TUbiblio

Using Vampire in Soundness Proofs of Type Systems

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira
Kovács, Laura ; Voronkov, Andrei (eds.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Kovács, Laura ; Voronkov, Andrei
Creators: Grewe, Sylvia ; Erdweg, Sebastian ; 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
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details