Developing self-verifying service-based systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq. Developing self-verifying service-based systems. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. pages 734-737, IEEE, 2013. [doi]

This author has not been identified. It may be one of the following persons:

Radu Calinescu

Look up 'Radu Calinescu' in GoogleIdentified as Kenneth Johnson This author has not been identified. Look up 'Yasmin Rafiq' in Google

runs on WebDSL