SpringerLink (Online service), 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 : Imprint: Springer. https://doi.org/10.1007/978-3-031-33163-3
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)SpringerLink (Online service), Uwe Glässer, Jose Creissac Campos, Dominique Méry, và 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 : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-33163-3.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)SpringerLink (Online service), 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 : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-33163-3.