Ait-Ameur, Y., & Méry, D. (2021). Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings (1st edition 2021.). Springer Singapore. https://doi.org/10.1007/978-981-15-5054-6
Chicago-Zitierstil (17. Ausg.)Ait-Ameur, Yamine, und Dominique Méry. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings. 1st edition 2021. Singapore: Springer Singapore, 2021. https://doi.org/10.1007/978-981-15-5054-6.
MLA-Zitierstil (9. Ausg.)Ait-Ameur, Yamine, und Dominique Méry. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings. 1st edition 2021. Springer Singapore, 2021. https://doi.org/10.1007/978-981-15-5054-6.