Publications 1 publication Page 1 of 1 An event-B formal model for access control and resource management of serverless apps Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh & Michael Butler, 2024 Type: conference