Creissac Campos, J., Méry, D., Glässer, U., & Palanque, P. (2023). Rigorous State-Based Methods: [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque (1st edition 2023.). Cham: Springer.
Chicago Style CitationCreissac Campos, Jose, Dominique Méry, Uwe Glässer, andfavorite Philippe Palanque. Rigorous State-Based Methods: [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / Edited By Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. 1st edition 2023. Cham: Springer, 2023.
MLA CitationCreissac Campos, Jose, Dominique Méry, Uwe Glässer, andfavorite Philippe Palanque. Rigorous State-Based Methods: [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / Edited By Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. 1st edition 2023. Cham: Springer, 2023.