Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

MLA

Caltais, Georgiana, and Christian Schilling. Model Checking Software : 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings. Cham: Springer, 2023.

APA

Caltais, G., & Schilling, C. (2023). Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Cham: Springer.

Chicago

Caltais, Georgiana., and Christian Schilling. Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Cham: Springer, 2023.