APA (7th ed.) Citation

International Conference on Rigorous State-Based Methods Bergamo, Bonfanti, S., Gargantini, A., Leuschel, M., Riccobene, E., & Scandurra, P. (2024). Rigorous state-based methods: 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings (Corrected publication.). Springer. https://doi.org/10.1007/978-3-031-63790-2

Chicago Style (17th ed.) Citation

International Conference on Rigorous State-Based Methods Bergamo, Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, and Patrizia Scandurra. Rigorous State-based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. Corrected publication. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-63790-2.

MLA (9th ed.) Citation

International Conference on Rigorous State-Based Methods Bergamo, et al. Rigorous State-based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. Corrected publication. Springer, 2024. https://doi.org/10.1007/978-3-031-63790-2.