Login / Signup

Advances in verification presented in TACAS'13.

Nir Piterman
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • social networks
  • web services
  • image sequences
  • feature extraction
  • data structure
  • recent advances
  • recent developments