Rigorous state-based methods: 8th international conference, abz 2021, ulm, germany, june 9–11, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030775421
Date de publication :
23 mai 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.