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]
Abstract is missing.