Verification column.

Published in: ACM SIGLOG News (2020)

Keyphrases

model checking
artificial intelligence
data structure
asynchronous circuits
face verification
concurrent systems
data sets
databases
real world
learning algorithm
image processing
web services
relational databases
rows and columns