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