An abstraction-refinement framework for trigger querying.

Guy Avni Orna Kupferman

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

main contribution
databases
database
data sets
decision making
artificial neural networks
data model