Formal Verification of Stateful Services with REST APIs Using Event-B
- Irum Rauf
- , Inna Vistbakka
- , Elena Troubitsyna
- Åbo Akademi University
- KTH Royal Institute of Technology
Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review