Login / Signup

Transform Your Computer Science Course with Specifications Grading.

David L. LargentChristian RobersonCarlo SgroManuel A. Pérez-QuiñonesLinda F. Wilson
Published in: SIGCSE (2) (2022)
Keyphrases
  • automatic assessment
  • high level
  • multiscale
  • asynchronous circuits
  • database
  • databases
  • neural network
  • information retrieval
  • computer vision
  • image processing
  • formal specification