Isabelle/Circus
Abderrahmane Feliachi, Burkhart Wolff und Marie-Claude Gaudel
Schlüsselwörter:
Kategorien:
Dokumente:
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) (
)
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}, |