Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Sale price
$76.49
Regular price $84.99
Skip to product information
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Sale price
$76.49
Regular price $84.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Uwe Glässer | Jose Creissac Campos | Dominique Méry | Philippe Palanque
Computers / Computer Science
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.
The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
| Publication Date: | 15 May 2023 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| ISBN-13: | 9783031331626 |
| Format: | Paperback softback |
| Page Count: | 380 |