APA (7th ed.) Citation

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 Style (17th ed.) Citation

Ait-Ameur, Yamine, and 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 (9th ed.) Citation

Ait-Ameur, Yamine, and 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.