Skip to content

Specification and Verification of Data-driven Web Services.

Alin Deutsch, Liying Sui, Victor Vianu

VenueA*PODS
Year2004
ProceedingsPODS

Browse the full PODS paper archive.