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.
On the Rate of Polynomial Approximations of Holomorphic Functions on Convex Compact Sets
Article in Complex Analysis and Operator Theory (October 2023)
Notes and References Notes and References
Book chapter (January 2022)