Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah. Enhancing Proofs of Local Computations through Formal Event-B Modularization. In Sumitra Reddy, editor, 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. pages 50-55, IEEE, 2014. [doi]
Abstract is missing.