Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings by Georgiana Caltais, Christian Schilling
English | PDF (True) | 202 Pages | ISBN : 3031321561 | 6.2 MB
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023.