APA (7th ed.) Citation

Glässer, U., Creissac Campos, J., Méry, D., & Palanque, P. (2023). Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-33163-3

Chicago Style (17th ed.) Citation

Glässer, Uwe, Jose Creissac Campos, Dominique Méry, and Philippe Palanque. Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-33163-3.

MLA (9th ed.) Citation

Glässer, Uwe, et al. Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-33163-3.