Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Alexander Raschke, Dominique Méry
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. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Kategori:
Tahun:
2021
Edisi:
1
Penerbit:
Springer
Bahasa:
english
Halaman:
177
ISBN 10:
3030775429
ISBN 13:
9783030775421
Nama seri:
Lecture Notes in Computer Science 12709
File:
PDF, 8.56 MB
IPFS:
,
english, 2021
Buku ini tidak dapat diunduh karena keluhan dari pemegang hak cipta
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Konversi file
Lebih banyak hasil pencarian
Manfaat yang lain 
