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