Formal Verification of Computer Systems
5 ECTS credits
125 h study time
This course is offered as follows:
Offer 1 with catalog number 4018164FNR for all students in the 2nd semester at a (F) Master - specialised level.
NEDERLANDS
Valid in academic year 2425