Formal Methods
June 2024
ABZ 2024 – 10th International Conference on Rigorous State Based Methods
Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.
The conference aims to promote exchanges within the scientific community on various formal methods.