Irum Rauf, Inna Vistbakka, Elena Troubitsyna. Formal Verification of Stateful Services with REST APIs Using Event-B. In 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018. pages 131-138, IEEE, 2018. [doi]
Abstract is missing.