A Meta-Model for the Isabelle API
Frédéric Tuong und Burkhart Wolff
Schlüsselwörter:
Kategorien:
Dokumente:
Bitte zitieren sie diesen Artikel wie folgt:
Frédéric Tuong und Burkhart Wolff.
A Meta-Model for the Isabelle API.
In Archive of Formal Proofs, 2015.
(BibTeX) (Endnote) (RIS) (Word) (URL) (
)
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}, |