pdfreaders.org

Isabelle/Circus

Abderrahmane Feliachi, Burkhart Wolff und Marie-Claude Gaudel

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for feliachi.ea:isabellecircus:2012-b.Bitte zitieren sie diesen Artikel wie folgt:
Abderrahmane Feliachi, Burkhart Wolff und Marie-Claude Gaudel. Isabelle/Circus. In Archive of Formal Proofs, 2012.
(BibTeX) (Endnote) (RIS) (Word) (URL) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Article{ feliachi.ea:isabellecircus:2012-b,
author = {Abderrahmane Feliachi and Burkhart Wolff and Marie-Claude Gaudel},
issn = {2150-914x},
journal = {Archive of Formal Proofs},
title = {Isabelle/Circus},
url = {https://www.brucker.ch/bibliography/abstract/feliachi.ea-isabellecircus-2012-b},
year = {2012},
}