Rigorous State-Based Methods
Available
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and ma...
Read more
E-book
pdf
Price
64.99 £
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and ma...
Read more