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) ( )
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}, |