Certified Embedding of B Models in an Integrated Verification Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni. Certified Embedding of B Models in an Integrated Verification Framework. In Dominique Méry, Shengchao Qin, editors, 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. pages 168-175, IEEE, 2019. [doi]

This author has not been identified. Look up 'Alexandra Halchin' in GoogleThis author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Neeraj Kumar Singh' in GoogleThis author has not been identified. Look up 'Abderrahmane Feliachi' in GoogleThis author has not been identified. Look up 'Julien Ordioni' in Google

runs on WebDSL