Login / Signup
Effective word-level interpolation for software verification.
Alberto Griggio
Published in:
FMCAD (2011)
Keyphrases
</>
word level
artificial intelligence
natural language
language independent