Formal Verification of Stateful Services with REST APIs Using Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Irum Rauf' in GoogleThis author has not been identified. Look up 'Inna Vistbakka' in GoogleThis author has not been identified. Look up 'Elena Troubitsyna' in Google

runs on WebDSL