SysV: Q&A session video
Written: 03.12.2020 09:02 Written By: Hamed Nemati
The video for the first Q&A session is published: link. Unfortunately we managed to record only the second half of the session!
Formal Methods in Security Vassena, Nemati, Künnemann
If you encounter technical problems, please contact the administrators