Login / Signup
it4all - Ein Korrekturframework für Programmieraufgaben(it4all - A Framework for Verification of Programming Exercises).
Björn Eyselein
Frank Puppe
Published in:
DeLFI Workshops (2018)
Keyphrases
</>
databases
database
high level
learning process
virtual environment
model checking