Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State.

Karem A. Sakallah

Published in: SMT (2021)

Keyphrases

invited talk
data analysis
recent advances
machine learning
artificial intelligence
information retrieval
computer science
image retrieval
data sources