Login / Signup
Toward Formal Verification of a Map Copy Method.
Sarah Blankenship
Published in:
SIGCSE (2021)
Keyphrases
</>
classification method
support vector machine
formal verification
data sets
significant improvement
clustering method
experimental evaluation