Formal Methods for Data-centric Web Services: From Model to Implementation.

Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei

Browse the full ICWS paper archive.