Login / Signup

Online Teaching of Verification of C Programs in Applied Computer Science.

Matthias Güdemann
Published in: FMTea (2021)
Keyphrases
  • computer science
  • data mining
  • online teaching
  • multimedia
  • model checking