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

News

SysV: fourth Q&A session starting soon

Written: 06.01.2021 09:27 Written By: Hamed Nemati

The last Q&A session for the system verification techniques starts at 10:00AM today. Zoom link: https://cispa-de.zoom.us/j/94653471916?pwd=bzFtaUdaL1NTY3VUYUhEZ2gyNU9oZz09

Agenda for the today meeting is:

  • Summarising the important points for the last lecture 
  • Taking your questions

Please join :)



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