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


SysV: second Q&A session starting soon

Written: 09.12.2020 09:06
Modified: 09.12.2020 09:18
Written By: Hamed Nemati

The second Q&A session for the system verification techniques start at 10:00AM today. Zoom link:

Agenda for the today meeting is:

  • Summarising the important points for the second lecture 
  • Taking your questions
  • talking briefly about the second problem set

Please join :)

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