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) (2023)
Keyphrases
  • artificial intelligence
  • delay insensitive
  • data sets
  • computer vision
  • high level
  • multi agent
  • formal specification
  • control flow
  • real world
  • website
  • formal verification