Rigorous state-based methods: 9th international conference, abz 2023, nancy, france, may 30–june 2, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031331626
Date de publication :
15 mai 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.