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


Syllabus Published

Written: 28.11.2020 16:48 Written By: Marco Vassena

You can find the topics covered in each lecture and that can be asked at the the oral exam in the IFC page,
If you have questions about any of these topics, come to the final Q&A session on December 1, from 14 to 16 on Zoom.

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