Login / Signup

Tightening a Contract Refinement.

Alessandro CimattiRamiro DemasiStefano Tonetta
Published in: SEFM (2016)
Keyphrases
  • refinement process
  • real world
  • computational complexity
  • neural network
  • decision making
  • multimedia
  • database systems