Enhancing Proofs of Local Computations through Formal Event-B Modularization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Maha Boussabbeh' in GoogleThis author has not been identified. Look up 'Mohamed Tounsi' in GoogleThis author has not been identified. Look up 'Ahmed Hadj Kacem' in GoogleThis author has not been identified. Look up 'Mohamed Mosbah' in Google

runs on WebDSL