pdfreaders.org

A Meta-Model for the Isabelle API

by Frédéric Tuong and Burkhart Wolff

Keywords:
Categories:
Documents:

QR Code for tuong.ea:meta-model:2015.Please cite this article as follows:
Frédéric Tuong and Burkhart Wolff. A Meta-Model for the Isabelle API. In Archive of Formal Proofs, 2015.
(BibTeX) (Endnote) (RIS) (Word) (URL) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Article{ tuong.ea:meta-model:2015,
author = {Fr{\'e}d{\'e}ric Tuong and Burkhart Wolff},
issn = {2150-914x},
journal = {Archive of Formal Proofs},
title = {A Meta-Model for the Isabelle API},
url = {https://www.brucker.ch/bibliography/abstract/tuong.ea-meta-model-2015},
year = {2015},
}