Formal Methods in Security

SysV's Second Lecture

Written on 08.11.2023 10:40 by Faezeh Nasrabdi

Dear all,

You can find the recorded lecture and slides for the second lecture of SysV on its page.

Best,
Faezeh