Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Mehmet Said Nur Yagmahan
Latest
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
Cite
×