Berry, G., & Rieg, L. (2019). Towards a Coq-verified Chain of Esterel Semantics.
Chicago-Zitierstil (17. Ausg.)Berry, Gérard, und Lionel Rieg. Towards a Coq-verified Chain of Esterel Semantics. 2019.
MLA-Zitierstil (9. Ausg.)Berry, Gérard, und Lionel Rieg. Towards a Coq-verified Chain of Esterel Semantics. 2019.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.