Sign in

Automatic Verification of Annotated Code.

Doron A. PeledHongyang Qu
Published in: FORTE (2003)
Keyphrases
  • source code
  • real time
  • manually annotated
  • code generation
  • machine learning
  • manually constructed
  • program code