Sign in
Automatic Verification of Annotated Code.
Doron A. Peled
Hongyang Qu
Published in:
FORTE (2003)
Keyphrases
</>
source code
real time
manually annotated
code generation
machine learning
manually constructed
program code