Leveraging applications of formal methods, verification and validation: 10th international symposium on leveraging applications of formal methods, isola 2021, rhodes, greece, october 17–29, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030891589
Date de publication :
12 oct. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.