HD-Sec presents (slides) the accepted paper Designing exception handling using Event-B In ABZ 2024 10th International Conference on Rigorous State Based Methods, 25-28 June 2024, Bergamo, Italy.