Core Hybrid Event-B III: Fundamentals of a reasoning framework
Article in Science of Computer Programming (January 2024)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (January 2024)
Article in Annales Henri Lebesgue (October 2023)
Article in Journal of Computational and Applied Mathematics (August 2023)