Login / Signup
AProVE - Automated Program VerificationEnvironment.
Carsten Otto
Published in:
EEFSW (2011)
Keyphrases
</>
semi automated
neural network
fully automated
database
computer assisted
computer vision
data driven
computer aided
automated analysis