Model Checking
Semester:Sommersemester 2018
Veranstalter: Prof. Katoen
Bemerkungen: https://moves.rwth-aachen.de/teaching/ss-18/introduction-to-model-checking/

Videos