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 76 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (January 2024)
Article in Complex Analysis and Operator Theory (October 2023)
Book chapter (January 2022)