Making PVS accessible to generic services by interpretation in a universal format

Kohlhase M, Müller D, Owre S, Rabe F (2017)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer Verlag

Pages Range: 319-335

ISBN: 9783319661063

DOI: 10.1007/978-3-319-66107-0_21

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

An Open Archive of Formalizations (OAF) Jan. 1, 2014 - June 30, 2020

How to cite

APA:

Kohlhase, M., Müller, D., Owre, S., & Rabe, F. (2017). Making PVS accessible to generic services by interpretation in a universal format. In Proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017 (pp. 319-335). Springer Verlag.

MLA:

Kohlhase, Michael, et al. "Making PVS accessible to generic services by interpretation in a universal format." Proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017 Springer Verlag, 2017. 319-335.

BibTeX: Download