Enhancing Proofs of Local Computations through Formal Event-B Modularization.

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Browse the full WETICE paper archive.