Isabelle/Circus: A Process Specification and Verification Environment
by Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff
Keywords:
Categories:
Documents: (full text as PDF file)
Please cite this article as follows:
Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff.
Isabelle/Circus: A Process Specification and Verification Environment.
In VSTTE. Lecture Notes in Computer Science, 7152, pages 243-260, 2012.
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-27705-4_20) (
BibTeX
@InProceedings{ feliachi.ea:isabellecircus:2012,
}
| author | = | {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff}, | |
| booktitle | = | {VSTTE}, | |
| doi | = | {10.1007/978-3-642-27705-4_20}, | |
| pages | = | {243--260}, | |
| = | {http://www.lri.fr/~mcg/PDF/VSSTE2012.pdf}, | ||
| series | = | {Lecture Notes in Computer Science}, | |
| title | = | {Isabelle/Circus: A Process Specification and Verification Environment}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/feliachi.ea-isabellecircus-2012}, | |
| volume | = | {7152}, | |
| year | = | {2012}, |