Rigorous state-based methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /
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 incl...
Full description
Saved in:
| Corporate Authors: |
ABZ (Conference) Nancy, France) |
| Other Authors: |
ABZ (Conference), Glässer, Uwe, 1959-, Creissac Campos, Jose,, Méry, Dominique, Palanque, Philippe, 1966-, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham :
Springer,
2023.
|
| Physical Description: |
1 online resource (xiii, 380 pages) : illustrations (some color).
|
| Series: |
Lecture notes in computer science ;
14010.
|
| Subjects: |
|