Login / Signup

Certificate translation for specification-preserving advices.

Gilles BartheCésar Kunz
Published in: FOAL (2008)
Keyphrases
  • high level
  • machine translation
  • formal specification
  • query translation
  • image details
  • authentication mechanism
  • machine learning
  • natural language processing
  • cross language
  • specification language