Collaborative Verification of Uninterpreted Programs.

Yide Du Weijiang Hong Zhenbang Chen Ji Wang

Published in: TASE (2022)

Keyphrases

face verification
cooperative
collaborative learning
social networks
web services
high level
computer programs
collaborative environment
database
data sets
information systems
knowledge intensive
programming environment