Correction to: A Unifying View on SMT-Based Software Verification.

Dirk Beyer Matthias Dangl Philipp Wendler

Published in: J. Autom. Reason. (2021)

Keyphrases

statistical machine translation
multiresolution
error correction
database systems
natural language processing
word alignment
modulo theories