Delegation of Computation with Verification Outsourcing: Curious Verifiers.

Gang Xu George T. Amariucai Yong Guan

Published in: IEEE Trans. Parallel Distributed Syst. (2017)

Keyphrases

information technology
real world
information systems
formal verification
data sets
decision making
business process
supplier selection