CORMODE GRAHAM ROBERT

Verification of data stream computations using third-party-supplied annotations