Enhancing Proofs of Local Computations through Formal Event-B Modularization

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
  • June 2014, Institute of Electrical & Electronics Engineers (IEEE)
  • DOI: 10.1109/wetice.2014.59

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1109/wetice.2014.59