Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

MLA

Glässer, Uwe, et al. Rigorous State-based Methods : 9th International Conference, Abz 2023, Nancy, France, May 30-june 2, 2023, Proceedings. Cham: Springer, 2023.

APA

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. Cham: Springer.

Chicago

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. Cham: Springer, 2023.