Formal Specification and Verification of Data-Centric Service Composition.

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Browse the full ICWS paper archive.