Certified Embedding of B Models in an Integrated Verification Framework.

Alexandra Halchin, Yamine At Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni

Browse the full TASE paper archive.