Model checking software: 29th international symposium, spin 2023, paris, france, april 26–27, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031321566
Date de publication :
2 mai 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions.