ABZ'27

ABZ 2027 (Braga, Portugal)

13th International Conference on Rigorous State-Based Methods