Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings by Georgiana Caltais Back to product details page >
