Proving the Absence Property Pattern Using the B Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa. Proving the Absence Property Pattern Using the B Method. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 167-170, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Amel Mammar' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Raphaël Chane-Yack-Fa' in Google

runs on WebDSL