Using Vampire in Soundness Proofs of Type Systems

Sylvia Grewe, Sebastian Erdweg, Mira Mezini. Using Vampire in Soundness Proofs of Type Systems. In Laura Kovács, Andrei Voronkov, editors, Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015. Volume 38 of EPiC Series in Computing, pages 33-51, EasyChair, 2015. [doi]

No reviews for this publication, yet.