Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Abdolbaghi Rezazadeh
Latest
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
Verifiable Code Generation from Scheduled Event-B Models
On an Extensible Rule-Based Prover for Event-B
Cite
×