Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
André Pacak
Publications
Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
Sylvia Grewe
,
André Pacak
and
Mira Mezini
In
:
Vampire 2017. Proceedings of the 4th Vampire Workshop
Keyphrases
automated theorem proving
,
soundness proofs of type systems
,
Vampire
.
Copyright © 2012-2024 easychair.org. All rights reserved.
