by Frédéric Tuong and Burkhart Wolff
Keywords:
Categories:
Documents:
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) (
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}, |