Model checking software: 30th international symposium, spin 2024, luxembourg city, luxembourg, april 8–9, 2024, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031661488
Date de publication :
13 oct. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions.