ABZ'25

ABZ 2025 (Düsseldorf, Germany)

11th International Conference on Rigorous State-Based Methods