Rewriting Modulo SMT and Open System Analysis.

Camilo Rocha José Meseguer César A. Muñoz

Published in: WRLA (2014)

Keyphrases

real world
database
neural network
information extraction
social networks
website
natural language
data analysis
quantitative analysis