Sign in

Rewriting Modulo SMT and Open System Analysis.

Camilo RochaJosé MeseguerCé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