Formal Methods in Security Vassena, Nemati, K√ľnnemann

News

SysV: Oral exam

Written: 09.01.2021 11:05
Modified: 09.01.2021 11:07
Written By: Hamed Nemati

The oral exam for "System Verification" part of the course will be sometime in February after Robert's lectures. I will send out a doodle link next week to find a date which suits all students who want to take the exam.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators