Specification and Verification of Data-driven Web Services

by Alin Deutsch , Liying Sui , Victor Vianu
Citations:32 - 4 self