ABZ'26

ABZ 2026 (Tokyo, Japan)

12th International Conference on Rigorous State-Based Methods